mirage

Parcourir Sciences Exactes et Sciences Appliquées par le sujet "Lambda-calculus"

Système d'archivage DSpace/Manakin

Parcourir Sciences Exactes et Sciences Appliquées par le sujet "Lambda-calculus"

Tri par : Ordre : Résultats :

  • A brief survey of the theory of the Pi-calculus.
    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 ...
  • Explicit pure systems, subject reduction and preservation of strong normalisation
    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 ...
  • Pure type systems and classical sequents
    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 ...

Recherche


Recherche avancée

Parcourir

Mon compte

Bookmark and Share