Intuitionist type theory and foundations

DOI10.1007/BF00253914zbMATH Open0461.03012OpenAlexW2061964709MaRDI QIDQ1152364FDOQ1152364

Authors: Philip Scott, J. Lambek 

Publication date: 1981

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00253914

zbMATH Keywords

intuitionistic type theoryfree topos with natural numbers object

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Topoi (18B25)

Cites Work

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• A formulation of the simple theory of types
• Completeness in the theory of types
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Functional completeness of cartesian categories
• Intuitionist type theory and the free topos
• From types to sets

Cited In (2)

• Intuitionist type theory and the free topos
• Title not available (Why is that?)

This page was built for publication: Intuitionist type theory and foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1152364)