The call-by-value λ-calculus: a semantic investigation

DOI10.1017/S0960129598002722zbMath0936.03017MaRDI QIDQ4719353

Luca Roversi, Alberto Pravato, Simonetta Ronchi della Rocca

Publication date: 17 May 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

categorycoherence spacesScott domainscall-by-value \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)

Related Items

Parametric parameter passing \(\lambda\)-calculus, Proof nets and the call-by-value \(\lambda\)-calculus, Unnamed Item, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Simple Easy Terms