BibTeX
@MISC{Constable97thestructure,
author = {Robert L. Constable},
title = {The structure of nuprl’s type theory},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
on the World Wide Web (\the Web") (www.cs.cornell.edu/Info/NuPrl/nuprl.html)
