MSCS 2000 | Sciweavers

98

Voted

MSCS
2000

60views more MSCS 2000»

Higher dimensional automata revisited

15 years 3 months ago

Download boole.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

70

Voted

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

15 years 3 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

85

Voted

MSCS
2000

77views more MSCS 2000»

Algebraic spans

15 years 3 months ago

Download www.cs.brown.edu

Maurice Herlihy, Sergio Rajsbaum

claim paper

Read More »

143

Voted

MSCS
2000

126views more MSCS 2000»

Sequent combinators: a Hilbert system for the lambda calculus

15 years 3 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 »

80

Voted

MSCS
2000

63views more MSCS 2000»

Domain equations for probabilistic processes

15 years 3 months ago

Download www.inf.tu-dresden.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

70

Voted

MSCS
2000

51views more MSCS 2000»

Introduction to linear bicategories

15 years 3 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

Sciweavers