Sciweavers

81
Voted
JAPLL
2008
79views more  JAPLL 2008»
14 years 8 months ago
The seven virtues of simple type theory
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
William M. Farmer