Publication:4447225
From MaRDI portal
zbMath1038.68073MaRDI QIDQ4447225
J. B. Wells, Detlef Plump, Fairouz Kamareddine
Publication date: 16 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060088.htm
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
Related Items
Unnamed Item, Observational program calculi and the correctness of translations, Computational Soundness of a Call by Name Calculus of Recursively-scoped Records, A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case