MSCS 2000 | Sciweavers

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 »

7

click to vote

MSCS
2000

63views more MSCS 2000»

Domain equations for probabilistic processes

13 years 4 months ago

Download www.inf.tu-dresden.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

5

click to vote

MSCS
2000

51views more MSCS 2000»

Introduction to linear bicategories

13 years 4 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