A construction of type: type in Martin-Löf's partial type theory with one universe
From MaRDI portal
Publication:3985097
DOI10.2307/2275068zbMath0747.03027MaRDI QIDQ3985097
Publication date: 27 June 1992
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275068
03F35: Second- and higher-order arithmetic and fragments
Related Items