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

Show all

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