Sciweavers

3273 search results - page 14 / 655
» types 2007
Sort
View
CORR
2007
Springer
101views Education» more  CORR 2007»
14 years 11 months ago
Curry-style type Isomorphisms and Game Semantics
Joachim De Lataillade
CORR
2007
Springer
78views Education» more  CORR 2007»
14 years 11 months ago
Designing a commutative replicated data type
Marc Shapiro, Nuno M. Preguiça
CORR
2007
Springer
91views Education» more  CORR 2007»
14 years 11 months ago
On types of growth for graph-different permutations
János Körner, Gábor Simonyi, Bl...
ENTCS
2007
93views more  ENTCS 2007»
14 years 11 months ago
Types for Access Control in a Calculus of Mobile Resources
Hans Hüttel, Morten Kühnrich
ESWA
2007
107views more  ESWA 2007»
14 years 11 months ago
Hierarchy as a new data type for qualitative variables
Serguei Levachkine, Adolfo Guzmán-Arenas