Publication:5601834
From MaRDI portal
zbMath0203.16406MaRDI QIDQ5601834
Publication date: 1966
Related Items
A functional computation model for the duality of two-variable lambda-Boolean functions, Call-by-name, call-by-value and the \(\lambda\)-calculus, A syntactic theory of sequential state, A structural operational semantics for an Edison like language. II, The origins of structural operational semantics, Unnamed Item, Unnamed Item