Principal types as partial involutions

DOI10.1017/S0960129524000380MaRDI QIDQ6993437zbMATH OpenFDO

Authors Furio Honsell, Marina Lenisa, Ivan Scagnetto

Publication date 25 April 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

geometry of interactionpartial involutionscombinatory algebrasprincipal typeslinear affine \(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Principal types as partial involutions

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