User menu

Toposes and Intuitionistic Theories of Types

Bibliographic reference Lavendhomme, René ; Lucas, Thierry. Toposes and Intuitionistic Theories of Types. In: Journal of Pure and Applied Algebra, Vol. 57, no. 2, p. 141-157 (1989)
Permanent URL http://hdl.handle.net/2078.1/52525