Invertible terms in the lambda calculus

DOI10.1016/0304-3975(80)90032-8MaRDI QIDQ1145689zbMATH OpenOpenAlexFDO

Authors J. 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)

Cites work

• scientific article; zbMATH DE number 3485195 (Why is no real title available?)
• scientific article; zbMATH DE number 3550683 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3423994 (Why is no real title available?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Characterization of normal forms possessing inverse in the - --calculus
• Data Types as Lattices
• The lambda calculus, its syntax and semantics

Cited in

(3)

• scientific article; zbMATH DE number 7559299 (Why is no real title available?)
• Meeting of the Association for Symbolic Logic Florence, Italy 1982
• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus

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

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