Publication:3024839
From MaRDI portal
zbMath1063.03516MaRDI QIDQ3024839
Publication date: 4 July 2005
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Semantical analysis of perpetual strategies in \(\lambda\)-calculus, Universal coalgebra: A theory of systems, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Parametric parameter passing \(\lambda\)-calculus