Theoria: An International Journal for Theory, History and Foundations of Science

Volume 4, Issue 1, Octubre/Enero 1988/1989

Jesús Alcolea Banegas
Pages 235-238

Intuitionistic type theory