Click on a search word OR use the drop-down choices to search for a paper.

Show all

2006

Farmer, William M.

SQRL Report No. 18 (rev 2) “The Seven Virtues of Simple Type Theory” Technical Report

2006.

Abstract | Links | BibTeX | Tags: simple type theory

2004

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