8141 search results - page 259 / 1629 » Higher Order Generalization |
183
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
124
click to vote
HCI
2007
15 years 7 months ago
2007
A lighting control method has been proposed which adjusts the circadian rhythms of office workers and eliminates a decrease in the arousal level in the afternoon by exposing a high...
137
click to vote
ACL
2001
15 years 7 months ago
2001
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
168
Voted
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
210
Voted
ENTCS
2002
15 years 5 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...