Sciweavers

AC
2000
Springer
15 years 10 months ago
The Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Cédric Fournet, Georges Gonthier
128
Voted
AC
2000
Springer
15 years 10 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand