Sciweavers

31686 search results - page 170 / 6338
» Resource typing in Guru
Sort
View
CORR
2007
Springer
101views Education» more  CORR 2007»
13 years 9 months ago
Curry-style type Isomorphisms and Game Semantics
Joachim De Lataillade
CORR
2007
Springer
78views Education» more  CORR 2007»
13 years 9 months ago
Designing a commutative replicated data type
Marc Shapiro, Nuno M. Preguiça
CORR
2007
Springer
91views Education» more  CORR 2007»
13 years 9 months ago
On types of growth for graph-different permutations
János Körner, Gábor Simonyi, Bl...