IANDC
2010
13 years 9 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
IANDC
2010
13 years 9 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
IANDC
2010
13 years 9 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
IANDC
2010
13 years 9 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
IANDC
2010
13 years 9 months ago
2010
IANDC
2010
13 years 9 months ago
2010
IANDC
2010
13 years 9 months ago
2010
IANDC
2010
13 years 9 months ago
2010
We consider the dynamical behavior of Martin-L
IALP
2010
13 years 9 months ago
2010
Inflection and derivation have been the main ways of creating new words in English. With the development of science and technology, words as such appear faster than ever in scient...
IALP
2010
13 years 9 months ago
2010
This paper describes an attempt to build a lexical database for the Yami language, an Austronesian endangered language. As the Yami language documentation and conservation project...