An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus

DOI10.1109/LICS.2012.57zbMath1364.03022MaRDI QIDQ2986823

Damiano Mazza

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

topology\(\lambda\)-calculuscomputation theoryinfinitary rewriting

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

Parsimonious Types and Non-uniform Computation ⋮ Non-linearity as the Metric Completion of Linearity ⋮ Structural rules and algebraic properties of intersection types ⋮ Unnamed Item ⋮ Infinitary affine proofs

This page was built for publication: An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus