44 search results - page 3 / 9 » jolli 2006 |
JOLLI
2006
14 years 10 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
JOLLI
2011
14 years 5 months ago
2011
Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures. Keywords Partial applicative struc...
64
Voted
JOLLI
2002
14 years 10 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
83
Voted
JOLLI
1998
14 years 10 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
72
Voted
JOLLI
2010
14 years 8 months ago
2010
One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Tec...