THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS

DOI10.1080/16073606.1991.9631633zbMath0741.03005OpenAlexW2055530963MaRDI QIDQ3980023

Stef W. Postma

Publication date: 26 June 1992

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/16073606.1991.9631633

zbMATH Keywords

\(\lambda\)-calculusconstant termsDijkstra's weakest preconditionsapproximate Church-Rosser TheoremHilbert-Ackermann approachLandin's closuretime-dependent behaviour of computational systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Many-valued logic (03B50) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Cites Work

• Guarded commands, nondeterminacy and formal derivation of programs
• Unnamed Item

This page was built for publication: THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS