W. M. Farmer. A basic extended simple type theory. SQRL Report No. 14, McMaster University, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Seven Virtues of Simple Type Theory William M. Farmer - December Self-citation (Farmer) (Correct)
No context found.
W. M. Farmer. A basic extended simple type theory. SQRL Report No. 14, McMaster University, 2003.
The Seven Virtues of Simple Type Theory William M. Farmer - Mcmaster University January Self-citation (Farmer) (Correct)
No context found.
W. M. Farmer. A basic extended simple type theory. SQRL Report No. 14, McMaster University, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC