mirage

Browsing by Subject "Lambda-calculus"

DSpace/Manakin Repository

Browsing by Subject "Lambda-calculus"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Hirschkoff, Daniel (2003-02)
    (eng) This document collects some important results about the theory of Milner's pi-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly ...
  • Kervac, Romain; Laboratoire de l'informatique du parallélisme (LIP, 2006-10)
    (eng) Pure type systems are an elegant formalism allowing to specify in a very easy way a large number of type systems. The possibility of their extension to calculi with explicit substitution was the object of numerous ...
  • Kervac, Romain; Laboratoire de l'informatique du parallélisme (LIP, 2006-10)
    (eng) The bar lambda mu tilde mu-calculus was designed by P.-L. Curien and H. Herbelin. One of its interest is that its terms can be interpreted as derivations in the classical sequent calculus. One of the its lacks is the ...
Bookmark and Share