Sciweavers

AC
2000
Springer
13 years 8 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
AC
2000
Springer
13 years 8 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand