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

Voir les résultats 1-2 sur 2

Characterizing strong normalization in a language with control operators.

Laboratoire de l'informatique du parallélisme; Dougherty, Dan; Ghilezan, Silvia; Lescanne, Pierre (2004-05)

(eng) We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin's lambda-mu-mu~. The original lambda-mu-mu~ has a system of simple types, based on ...
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 ...

Voir les résultats 1-2 sur 2

Recherche