Toposes and intuitionistic theories of types

DOI10.1016/0022-4049(89)90111-4zbMath0664.03040OpenAlexW2020970787MaRDI 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

zbMATH Keywords

equivalence of 2- categoriesintuitionistic type theoriestranslation of theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Toposes and intuitionistic theories of types