The involutions-as-principal types/application-as-unification Analogy

DOI10.29007/ntwgzbMath1416.03009OpenAlexW2907463927MaRDI QIDQ5222959

Alberto Ciaffaglione, Ivan Scagnetto, Furio Honsell, Marina Lenisa

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/ntwg

zbMATH Keywords

lambda calculusgamesgeometry of interactionreversible computations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

lambda!-calculus, Intersection Types, and Involutions