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)
We describe an education model that was developed and put in place to improve student engagement and attainment in a first year undergraduate programming course. The work is founded in a checkpoint-based formative assessment experiment undertaken for two years, the success of which is analysed in this document. The results provide evidence leading to a move… (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)