Bengt Nordstr#m, Kent Petersson, and Jan M. Smith. Programming in Martin-L#f's Type Theory. An Introduction. Oxford University Press, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Implementation of ALF - a Proof Editor based on Martin-Löf's .. - Magnusson (1995) (65 citations) (Correct)
Cayenne - a Language With Dependent Types - Augustsson (1998) (68 citations) (Correct)
A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong - Bove (1998) (Correct)
A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong - Bove (1998) (Correct)
Martin-Löf's Type Theory - Nordström, Petersson, Smith Self-citation (Smith) (Correct)
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