We prove that, in the hierarchy of simple types, the set-theoretic coherence semantics is the exten-sional collapse of the multiset-theoretic coherence semantics.
In the coherence space semantics of linear logic, the webs of the spaces interpreting the exponentials may be deened using multi-cliques (multisets whose supports are cliques) instead of cliques. Inspired by the quantitative semantics of Jean-Yves Girard, we give a characterization of the morphisms of the co-Kleisly category of the corresponding comonad… (More)
The complexity of reconfigurable systems is in great part the complexity of the hardware-software environment where they are integrated. Many different reconfigurable architectures and respective development tools have been proposed in the literature, but few reconfigurable computing startups have succeeded at creating sustainable business models. The… (More)