A Basic Extended Simple Type Theory (2001)
Cached
Download Links
by
William M. Farmer
| Citations: | 2 - 1 self |
BibTeX
@MISC{Farmer01abasic,
author = {William M. Farmer},
title = {A Basic Extended Simple Type Theory},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents an extended version of Church's simple type theory called Basic Extended Simple Type Theory (bestt). By adding type variables and support for reasoning with tuples, lists, and sets to simple type theory, it is intended to be a practical logic for formalized mathematics. 1
