scientific article; zbMATH DE number 3439982

zbMATH Open0279.68021MaRDI QIDQ4766020FDOQ4766020

Authors Zohar Manna, Jean E. Vuillemin 

Publication date 1973

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computability and recursion theory (03D99)

Cited in

(1)

• Expressive power of typed and type-free programming languages

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 Q4766020)