scientific article; zbMATH DE number 3351178

MaRDI QIDQ5626271zbMATH OpenFDO

Authors Donald E. Knuth

Publication date 1971

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Cited in

(7)

• A data structure formalization through generating function
• An order-algebraic definition of knuthian semantics
• A survey of state vectors
• Taming the merge operator
• Combining type disciplines
• Linear lambda terms as invariants of rooted trivalent maps
• scientific article; zbMATH DE number 3829278 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5626271)