scientific article; zbMATH DE number 3588630

zbMATH Open0378.02009MaRDI QIDQ4156412FDOQ4156412

Authors: Herbert Egli 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Cited In (2)

• The IO- and OI-hierarchies
• Expressive power of typed and type-free programming languages

Uses Software

• LCF

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