scientific article; zbMATH DE number 3322510
From MaRDI portal
Publication:5601834
zbMath0203.16406MaRDI QIDQ5601834
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The origins of structural operational semantics, A functional computation model for the duality of two-variable lambda-Boolean functions, Unnamed Item, Unnamed Item, 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
