The Seven Virtues of Simple Type Theory (2003)

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