Click on a search word OR use the drop-down choices to search for a paper.
2004
SQRL Report No. 14 (rev 2) “A Basic Extended Simple Type Theory” Technical Report
2004.
Click on a search word OR use the drop-down choices to search for a paper.
Farmer, William M.
SQRL Report No. 14 (rev 2) “A Basic Extended Simple Type Theory” Technical Report
2004.
Abstract | Links | BibTeX | Tags: best, simple type theory
@techreport{Farmer2004,
title = {SQRL Report No. 14 (rev 2) “A Basic Extended Simple Type Theory”},
author = {William M. Farmer},
url = {http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport14_rev2.pdf},
year = {2004},
date = {2004-06-15},
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.},
keywords = {best, simple type theory},
pubstate = {published},
tppubtype = {techreport}
}