Polynomial-time Martin-Löf type theory
From MaRDI portal
Publication:688850
DOI10.1007/BF01269954zbMath0787.03053MaRDI QIDQ688850
Publication date: 23 May 1994
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Feferman's theory APP of operators; fragments of extensional Martin-Löf type theory without universes
03F35: Second- and higher-order arithmetic and fragments
Cites Work