Search Sciweavers | Sciweavers

9 search results - page 1 / 2

» mscs 2000

click to vote

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

14 years 10 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

Voted

MSCS
2000

60views more MSCS 2000»

Higher dimensional automata revisited

14 years 10 months ago

Download boole.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

click to vote

MSCS
2000

77views more MSCS 2000»

Algebraic spans

14 years 10 months ago

Download www.cs.brown.edu

Maurice Herlihy, Sergio Rajsbaum

claim paper

Read More »

Voted

MSCS
2000

63views more MSCS 2000»

Domain equations for probabilistic processes

14 years 10 months ago

Download www.inf.tu-dresden.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

MSCS
2000

51views more MSCS 2000»

Introduction to linear bicategories

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers