scientific article; zbMATH DE number 2248154

zbMath1093.03002MaRDI QIDQ5719212

Paul C. Gilmore

Publication date: 18 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logiclogicismcomputer sciencetype theoryfoundations of mathematicsintensional type theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55)

Related Items (1)

An untyped higher order logic with Y combinator

Uses Software

• Coq

This page was built for publication: