Research into people's comprehension of novel noun-noun phrases has long neglected the possible influences of prosody during meaning construction. At the same time, work in c...
the syntactically impossible antecedents. This latter This paper describes an implemented mechanism for handling bound anaphora, disjoint reference, and pronominal reference. The a...
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, a...