Subset Types and Partial Functions (2003)
by
Aaron Stump
| Venue: | 19th International Conference on Automated Deduction |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Stump03subsettypes,
author = {Aaron Stump},
title = {Subset Types and Partial Functions},
booktitle = {19th International Conference on Automated Deduction},
year = {2003},
pages = {151--165}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer’s logic PF by enriching the type system of the logic with subset types and dependent types. Validity in PFsub is then reduced to validity in PF by a translation. 1
