Toposes and intuitionistic theories of types
From MaRDI portal
Publication:1115435
DOI10.1016/0022-4049(89)90111-4zbMath0664.03040MaRDI QIDQ1115435
Thierry Lucas, Rene Lavendhomme
Publication date: 1989
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(89)90111-4
03G30: Categorical logic, topoi
18B25: Topoi
03F35: Second- and higher-order arithmetic and fragments
03F50: Metamathematics of constructive systems
Cites Work