scientific article; zbMATH DE number 5872250

zbMATH Open1226.03015MaRDI QIDQ3086770FDOQ3086770

Authors: Alonzo Church 

Publication date: 30 March 2011

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

Mathematics Subject Classification ID

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

Cited In (7)

• A minimalistic many-valued theory of types
• The method of types [information theory]
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Extension of the Formulas-as-Types Paradigm
• Title not available (Why is that?)
• Simple Types in Type Theory: Deep and Shallow Encodings

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)