A logical framework with dependently typed records (2003)
by
Thierry Coquand Randy Pollack
| Venue: | In Proceedings of TLCA 2003, volume 2701 of LNCS |
| Citations: | 19 - 4 self |
BibTeX
@INPROCEEDINGS{Pollack03alogical,
author = {Thierry Coquand Randy Pollack},
title = {A logical framework with dependently typed records},
booktitle = {In Proceedings of TLCA 2003, volume 2701 of LNCS},
year = {2003},
pages = {105--119},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
