The Seven Virtues of Simple Type Theory (2003)

by William M. Farmer
Venue:JOURNAL OF APPLIED LOGIC
Citations:21 - 6 self