303 search results - page 2 / 61 » Theory Interpretation in Simple Type Theory |
TYPES
1998
Springer
13 years 10 months ago
1998
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
JAPLL
2008
13 years 5 months ago
2008
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...
CLIMA
2010
13 years 7 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
TABLEAUX
2009
Springer
14 years 9 days ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...