scientific article; zbMATH DE number 5872253

zbMATH Open1227.03013MaRDI QIDQ3086773FDOQ3086773

Authors: Peter B. Andrews 

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 (2)

• Dialectica models of type theory
• A very modal model of a modern, major, general type system

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