mirage

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

Système d'archivage DSpace/Manakin

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

Tri par : Ordre : Résultats :

  • Direct proofs of strong normalisation in calculi of explicit substitutions
    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 ...
  • On strong normalisation of explicit substitution calculi
    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 ...

Recherche


Recherche avancée

Parcourir

Mon compte

Bookmark and Share