Principal types as nets

DOI10.4230/LIPICS.TYPES.2021.5MaRDI QIDQ6582084zbMATH OpenFDO

Authors Pietro Di Gianantonio, Marina Lenisa

Publication date 1 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.TYPES.2021.5

zbMATH Keywords

\(\lambda\) calculus\(\lambda\) netscut eliminationlinear logicnormalizationprincipal types

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(2)

• Principal types as partial involutions
• Two views on unification: terms as strategies

This page was built for publication: Principal types as \(\lambda\) nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6582084)