Polynomial-time Martin-Löf type theory

DOI10.1007/BF01269954zbMath0787.03053OpenAlexW2047438528MaRDI QIDQ688850

Joseph L. Pe

Publication date: 23 May 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

Feferman's theory APP of operatorsfragments of extensional Martin-Löf type theory without universes

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Functional interpretations of feasibly constructive arithmetic
• Constructivism in mathematics. An introduction. Volume II
• Unnamed Item
• Unnamed Item

This page was built for publication: Polynomial-time Martin-Löf type theory