Sciweavers

69 search results - page 8 / 14
» mscs 2006
Sort
View
57
Voted
MSCS
2000
51views more  MSCS 2000»
15 years 17 days ago
Introduction to linear bicategories
J. Robin B. Cockett, Jürgen Koslowski, R. A. ...
MSCS
2002
53views more  MSCS 2002»
15 years 14 days ago
String and Graph Reduction Systems for Gene Assembly in Ciliates
Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...
66
Voted
MSCS
2007
85views more  MSCS 2007»
15 years 9 days ago
Constructive analysis, types and exact real numbers
Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...
58
Voted
MSCS
2010
67views more  MSCS 2010»
14 years 11 months ago
Bitopological duality for distributive lattices and Heyting algebras
Guram Bezhanishvili, Nick Bezhanishvili, David Gab...
77
Voted
MSCS
2010
86views more  MSCS 2010»
14 years 11 months ago
Realisability semantics of parametric polymorphism, general references and recursive types
tations of imperative abstract data types.
Lars Birkedal, Kristian Støvring, Jacob Tha...