3 citations found. Retrieving documents...
P. Martin-Lof. Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Bibliopolis, Napoli, 1984.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Propositions as [Types] - Awodey, Bauer (2001)   (1 citation)  (Correct)

No context found.

P. Martin-Lof. Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Bibliopolis, Napoli, 1984.


Propositions as [Types] - Awodey, Bauer (2001)   (1 citation)  (Correct)

No context found.

P. Martin-Lof. Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Bibliopolis, Napoli, 1984. 31


The Basic Picture, a structure for topology - The Basic Picture   (Correct)

No context found.

P. Martin-L of, Intuitionistic type theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC