Polymorphic lambda calculus: The Church-Rosser property

DOI10.1016/0304-3975(91)90339-4zbMath0724.03013OpenAlexW1965226427MaRDI QIDQ2276943

George Koletsos

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90339-4

zbMATH Keywords

Church-Rosser propertysecond-order polymorphic lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Combinators, \(\lambda\)-terms and proof theory
• Intensional interpretations of functionals of finite type I

This page was built for publication: Polymorphic lambda calculus: The Church-Rosser property