Report - The Seven Virtues of Simple Type Theory › sqrl › papers › sqrl18.pdf · 2003-12-09 · practical. This paper surveys the virtues of simple type theory and at-tempts to show

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form