Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework (2004)
Cached
Download Links
- [formal.cs.uiuc.edu]
- [formal.cs.uiuc.edu]
- DBLP
Other Repositories/Bibliography
by
Mark-oliver Stehr
| Venue: | In Essays in Memory of Ole-Johan Dahl, volume 2635 of LNCS |
| Citations: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Stehr04puretype,
author = {Mark-oliver Stehr},
title = {Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework},
booktitle = {In Essays in Memory of Ole-Johan Dahl, volume 2635 of LNCS},
year = {2004},
pages = {2004},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
