Toposes and Intuitionistic Theories of Types

Lavendhomme, René;Lucas, Thierry
(1989) Journal of Pure and Applied Algebra — Vol. 57, n° 2, p. 141-157 (1989)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 977.2 KB
Request a copy

Details

Authors
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Lavendhomme, R., & Lucas, T. (1989). Toposes and Intuitionistic Theories of Types. Journal of Pure and Applied Algebra, 57(2), 141-157. https://doi.org/10.1016/0022-4049(89)90111-4 (Original work published 1989)