scientific article; zbMATH DE number 3351178
From MaRDI portal
Publication:5626271
zbMath0221.68014MaRDI QIDQ5626271
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)
Related Items (7)
Linear lambda terms as invariants of rooted trivalent maps ⋮ A survey of state vectors ⋮ Unnamed Item ⋮ An order-algebraic definition of knuthian semantics ⋮ A data structure formalization through generating function ⋮ Taming the Merge Operator ⋮ Combining type disciplines
This page was built for publication: