The Calculus of Constructions as a Framework for Proof Search with Set Variable Instantiation (2000)
Cached
Download Links
- [www.site.uottawa.ca]
- [ftp.research.bell-labs.com]
- DBLP
Other Repositories/Bibliography
by
Amy Felty
| Citations: | 2 - 0 self |
BibTeX
@MISC{Felty00thecalculus,
author = {Amy Felty},
title = {The Calculus of Constructions as a Framework for Proof Search with Set Variable Instantiation},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
