Sciweavers

21007 search results - page 209 / 4202
» Mobile Parallel Computing
Sort
View
128
Voted
CONCUR
2010
Springer
15 years 8 months ago
Session Types as Intuitionistic Linear Propositions
Luís Caires, Frank Pfenning