1836 search results - page 185 / 368 » Hierarchies for semantic classes |
180
click to vote
FCT
2005
Springer
16 years 2 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
173
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
138
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...
138
click to vote
ACL
1990
15 years 7 months ago
1990
This paper proposes a set of representations for tenses and a set of constraints on how they can be combined in adjunct clauses. The semantics we propose explains the possible mea...
186
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...