Sciweavers

19 search results - page 1 / 4
» mscs 2010
Sort
View
MSCS
2010
80views more  MSCS 2010»
13 years 2 months ago
On universal algebra over nominal sets
Alexander Kurz, Daniela Petrisan
MSCS
2010
44views more  MSCS 2010»
13 years 2 months ago
Turing universality of the Biochemical Ground Form
Luca Cardelli, Gianluigi Zavattaro
MSCS
2010
74views more  MSCS 2010»
13 years 2 months ago
Selection functions, bar recursion and backward induction
Martín Hötzel Escardó, Paulo Ol...
MSCS
2010
59views more  MSCS 2010»
13 years 2 months ago
Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella