Document Versions

A Basic Extended Simple Type Theory –William M. Farmer — 2001
A basic extended simple type theory –William M. Farmer — 2003
A Basic Extended Simple Type Theory –William M. Farmer — 2003