scientific article; zbMATH DE number 3827824

MaRDI QIDQ3674617zbMATH OpenFDO

Authors Ines Margaria, Maddalena Zacchi

Publication date 1983

Full work available at URL https://eudml.org/doc/92179

zbMATH Keywords

normal formslambda calculusgraph modelleft inverseright inversesdirect approximationBoehm treelambda- beta calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites work

• scientific article; zbMATH DE number 3485195 (Why is no real title available?)
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• Combinatory logic. With two sections by William Craig.
• The Calculi of Lambda Conversion. (AM-6)
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus, its syntax and semantics

Cited in

(2)

• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
• Equational programming in \(\lambda\)-calculus via SL-systems. Part 1

This page was built for publication:

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