Sciweavers

IANDC
2010
62views more  IANDC 2010»
13 years 6 months ago
Logic, language, information and computation
Daniel Leivant, Ruy J. G. B. de Queiroz
IANDC
2010
107views more  IANDC 2010»
13 years 8 months ago
Equational properties of iterative monads
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal sys...
Jirí Adámek, Stefan Milius, Jiri Vel...
IANDC
2010
160views more  IANDC 2010»
13 years 8 months ago
Coequational logic for accessible functors
Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently,...
Daniel Schwencke
IANDC
2010
125views more  IANDC 2010»
13 years 8 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
IANDC
2010
132views more  IANDC 2010»
13 years 8 months ago
The expressive power of the shuffle product
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...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
IANDC
2010
115views more  IANDC 2010»
13 years 8 months ago
18th International Conference on Concurrency Theory
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...
Luís Caires, Vasco Thudichum Vasconcelos
IANDC
2010
95views more  IANDC 2010»
13 years 8 months ago
Structured anaphora to quantifier domains
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...
Adrian Brasoveanu
IANDC
2010
121views more  IANDC 2010»
13 years 8 months ago
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
Murdoch James Gabbay, Dominic P. Mulligan
IANDC
2010
113views more  IANDC 2010»
13 years 8 months ago
Numerical constraints on XML data
Sven Hartmann, Sebastian Link