A lambda calculus satellite

MaRDI QIDQ6535860zbMATH OpenFDO

Authors Henk Barendregt, Giulio Manzonetto

Publication date 1 March 2024

Published in Studies in Logic (London) (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Combinatory logic and lambda calculus (03B40)

Cited in

(9)

• Light genericity
• Genericity through stratification
• On complexity of confluence and Church-Rosser proofs
• Extensional Taylor expansion
• How to play the accordion: uniformity and the (non-)conservativity of the linear approximation of the -calculus
• Separating terms by means of multi types, coinductively
• Lambda galore
• Barendregt's theory of the -calculus, refreshed and formalized
• Mechanising Böhm trees and -completeness

This page was built for publication: A lambda calculus satellite

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