The Seven Virtues of Simple Type Theory

The Seven Virtues of Simple Type Theory (2003)

by William M. Farmer

Venue:	JOURNAL OF APPLIED LOGIC
Citations:	14 - 4 self

User correction supplied by mph

Datum	Value	Source
TITLE	The Seven Virtues of Simple Type Theory	user correction
AUTHOR NAME	William M. Farmer	user correction
AUTHOR AFFIL	McMaster University	user correction
ABSTRACT		user correction
YEAR	2003	INFERENCE
VENUE	JOURNAL OF APPLIED LOGIC	user correction
VENUE TYPE	TECHREPORT	INFERENCE
VOLUME	10	INFERENCE
TECH	SQRL Report No. 18	INFERENCE
CITATIONS	32 found	ParsCit 1.0