scientific article; zbMATH DE number 3827824

zbMATH Open0523.03010MaRDI QIDQ3674617FDOQ3674617

Authors: Ines Margaria, Maddalena Zacchi 

Publication date: 1983

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

normal formslambda calculusgraph modelleft inverseright inversesdirect approximationBoehm treelambda- beta calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

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

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)