mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Lambda Calcul"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Lambda Calcul"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Dougherty, Daniel; Lescanne, Pierre (2000-02)
    (eng) This paper is part of a general programme of treating explicit substitutions as the primary $\lambda$-calculi from the point of view of foundations as well as applications. Here we investigate the property of strong ...
  • Laboratoire de l'informatique du parallélisme; Lang, Frédéric; Lescanne, Pierre (1999-08)
    (eng) In this paper, we present an attempt to build a calculus of explicit substitution expected to be confluent on open terms, to preserve strong normalisation and to simulate one step `b-reduction. We show why our attempt ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share