scientific article; zbMATH DE number 5872250

MaRDI QIDQ3086770zbMATHFDO

Authors Alonzo Church

Publication date 30 March 2011

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Combinatory logic and lambda calculus (03B40)

Cited in

(7)

• The method of types [information theory]
• scientific article; zbMATH DE number 960927 (Why is no real title available?)
• scientific article; zbMATH DE number 1722665 (Why is no real title available?)
• A minimalistic many-valued theory of types
• An Extension of the Formulas-as-Types Paradigm
• Simple Types in Type Theory: Deep and Shallow Encodings
• scientific article; zbMATH DE number 6923849 (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 Q3086770)