Research Laboratory for Logic and Computation
| HOME |
| PEOPLE |
| PUBLICATIONS |
| DOWNLOADS |
| LINKS |
| SEMINAR |
|
Book/Article
|
pdf
|
ps
|
|
Martin-Lof's Type Theory.
B. Nordstrom, K. Peterson and J.M. Smith. |
martin-lof.pdf | martin-l-f-s.ps |