16 search results - page 1 / 4 » On the Relations between the Syntactic Theories of lambda-mu... |
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
ACL
2007
13 years 6 months ago
2007
This paper proposes a supervised learning method for detecting a semantic relation between a given pair of named entities, which may be located in different sentences. The method ...
ACL
2010
13 years 2 months ago
2010
The core-adjunct argument distinction is a basic one in the theory of argument structure. The task of distinguishing between the two has strong relations to various basic NLP task...
ICDT
2012
ACM
11 years 7 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
CSL
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...