MSCS 2000 | Sciweavers

71

Voted

MSCS
2000

60views more MSCS 2000»

Higher dimensional automata revisited

14 years 11 months ago

Download boole.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

49

Voted

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

14 years 11 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

64

Voted

MSCS
2000

77views more MSCS 2000»

Algebraic spans

14 years 11 months ago

Download www.cs.brown.edu

Maurice Herlihy, Sergio Rajsbaum

claim paper

Read More »

113

Voted

MSCS
2000

126views more MSCS 2000»

Sequent combinators: a Hilbert system for the lambda calculus

14 years 11 months ago

Download www.lfcs.inf.ed.ac.uk

This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...

Healfdene Goguen, Jean Goubault-Larrecq

claim paper

Read More »

55

Voted

MSCS
2000

63views more MSCS 2000»

Domain equations for probabilistic processes

14 years 11 months ago

Download www.inf.tu-dresden.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

49

Voted

MSCS
2000

51views more MSCS 2000»

Introduction to linear bicategories

14 years 11 months ago

Download www.math.mcgill.ca

J. Robin B. Cockett, Jürgen Koslowski, R. A. ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers