scientific article; zbMATH DE number 2043523
From MaRDI portal
Publication:4447225
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)
Related Items (4)
Unnamed Item ⋮ A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case ⋮ Observational program calculi and the correctness of translations ⋮ Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
This page was built for publication:
