scientific article
From MaRDI portal
Publication:3674617
zbMath0523.03010MaRDI QIDQ3674617
Maddalena Zacchi, Ines Margaria
Publication date: 1983
Full work available at URL: https://eudml.org/doc/92179
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal formsleft inverselambda calculusgraph modelright inversesdirect approximationBoehm treelambda- beta calculus
Related Items (2)
Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 ⋮ About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
Cites Work
- Unnamed Item
- Combinatory logic. With two sections by William Craig.
- The lambda calculus, its syntax and semantics
- 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
- 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)
This page was built for publication:
