Report - The Seven Virtues of Simple Type Theory - McMaster … · The Seven Virtues of Simple Type Theory William M. Farmer∗ McMaster University 26 November 2006 Abstract Simple type theory,

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form