An infinitary affine lambda-calculus isomorphic to the full lambda-calculus

DOI10.1109/LICS.2012.57MaRDI QIDQ2986823zbMATH OpenFDO

Authors Damiano Mazza

Publication date 16 May 2017

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

Full work available at URL https://doi.org/10.1109/LICS.2012.57

zbMATH Keywords

\(\lambda\)-calculuscomputation theoryinfinitary rewritingtopology

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Non-linearity as the metric completion of linearity
• Strict ideal completions of the lambda calculus
• Rewriting Techniques and Applications
• Infinitary lambda calculi from a linear perspective
• scientific article; zbMATH DE number 919545

Cited in

(8)

• An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
• Parsimonious types and non-uniform computation
• Strict ideal completions of the lambda calculus
• On the Taylor expansion of -terms and the groupoid structure of their rigid approximants
• Infinitary affine proofs
• Non-linearity as the metric completion of linearity
• Structural rules and algebraic properties of intersection types
• Animating MRBNFs: truly modular binding-aware datatypes in Isabelle/HOL

This page was built for publication: An infinitary affine lambda-calculus isomorphic to the full lambda-calculus

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