Pure type systems formalized (1993)
Cached
Download Links
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [ftp.dcs.ed.ac.uk]
- [ftp.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
James Mckinna
,
Robert Pollack
| Venue: | Proceedings of the International Conference on Typed Lambda Calculi and Applications |
| Citations: | 36 - 7 self |
BibTeX
@INPROCEEDINGS{Mckinna93puretype,
author = {James Mckinna and Robert Pollack},
title = {Pure type systems formalized},
booktitle = {Proceedings of the International Conference on Typed Lambda Calculi and Applications},
year = {1993},
pages = {289--305},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
