Dependently Typed Records for Representing Mathematical Structure (2000)
by
Robert Pollack
| Venue: | Theorem Proving in Higher Order Logics, TPHOLs 2000 |
| Citations: | 14 - 0 self |
BibTeX
@INPROCEEDINGS{Pollack00dependentlytyped,
author = {Robert Pollack},
title = {Dependently Typed Records for Representing Mathematical Structure},
booktitle = {Theorem Proving in Higher Order Logics, TPHOLs 2000},
year = {2000},
pages = {462--479},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper appears in Theorem Proving in Higher Order Logics, TPHOLs 2000, c
