Publication:3024852
From MaRDI portal
zbMath1063.68551MaRDI QIDQ3024852
Publication date: 4 July 2005
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus
Related Items
Observational program calculi and the correctness of translations, A Complete, Co-inductive Syntactic Theory of Sequential Control and State, Unnamed Item