The Seven Virtues of Simple Type Theory (2003)

by William M. Farmer
Venue:JOURNAL OF APPLIED LOGIC
Citations:19 - 5 self

Document Versions

The Seven Virtues of Simple Type Theory –William M. Farmer — 2003 — JOURNAL OF APPLIED LOGIC
The seven virtues of simple type theory –William M. Farmer — 2003 — Journal of Applied Logic
The Seven Virtues of Simple Type Theory –William M. Farmer — 2007
The seven virtues of simple type theory –William M. Farmer — 2003 — Journal of Applied Logic