scientific article
From MaRDI portal
Publication:3024852
zbMath1063.68551MaRDI QIDQ3024852
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)
Related Items
A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Unnamed Item ⋮ Observational program calculi and the correctness of translations
This page was built for publication: