Sciweavers

JAPLL
2008
79views more  JAPLL 2008»
14 years 14 days 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