Invertible terms in the lambda calculus

DOI10.1016/0304-3975(80)90032-8zbMath0446.03011OpenAlexW2090560742MaRDI QIDQ1145689

Jan A. Bergstra, Jan Willem Klop

Publication date: 1980

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

Full work available at URL: https://dspace.library.uu.nl/handle/1874/12751

zbMATH Keywords

lambda calculushereditary permutatorsinvertible terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Unnamed Item ⋮ About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982

Cites Work

• The lambda calculus, its syntax and semantics
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Data Types as Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Invertible terms in the lambda calculus