Quotients over Minimal Type Theory
From MaRDI portal
Publication:5425354
DOI10.1007/978-3-540-73001-9_54zbMath1151.03032MaRDI QIDQ5425354
Publication date: 13 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_54
03G30: Categorical logic, topoi
03F65: Other constructive mathematics
03F35: Second- and higher-order arithmetic and fragments
Related Items