8141 search results - page 59 / 1629 » Higher Order Generalization |
PLDI
1989
ACM
15 years 6 months ago
1989
ACM
125
Voted
JELIA
1990
Springer
15 years 6 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
112
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
97
Voted
ITP
2010
15 years 6 months ago
2010