Sciweavers

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