Levy Labels and Recursive Types

DOI10.1007/978-3-319-27683-0_27zbMath1476.03010OpenAlexW2394877959MaRDI QIDQ5283442

Richard Statman

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_27

zbMATH Keywords

lambda calculusrecursive typesLevy labels

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus, its syntax and semantics
• On Polymorphic Types of Untyped Terms
• Reductions of Residuals are Finite
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Levy Labels and Recursive Types