Explicit Substitutions for the Lambda-Mu-Calculus. - LARA - Libre accès aux rapports scientifiques et techniques Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1994

Explicit Substitutions for the Lambda-Mu-Calculus.

Résumé

We present a confluent rewriting system wich extends a previous calculus for the Lambda-Calculus (Levy, Hardin) to Parigot's untyped Lambda-Mu-Calculus. This extension embeds the Lambda- Mu-Calculus as a sub-theory, and provides the basis for a theoretical framework to study the abstract properties of implementations of functional programming languages enriched with control structures. This study gives also some interesting feedback on Lambda-Mu-Calculus on both the syntactical and semantics levels.
Nous proposons un système de réécriture confluent qui étend un précédent système avec substitutions explicites pour le lambda-calcul [Hae89] au lambda-mu-calcul non typé de Parigot Par Cette extension contient le lambda-mu-calcul comme sous-théorie, et fournit une cadre théorique de base pour l'étude des propriétés abstraites des implantations des langages fonctionnels étendus avec des structures de contrôle. Cette étude fournit également un éclairage nouveau sur le lambda-mu-calcul à la fois au plan syntaxique et sémantique
Fichier principal
Vignette du fichier
RR1994-26.pdf (274.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02102044 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02102044 , version 1

Citer

Philippe Audebaud. Explicit Substitutions for the Lambda-Mu-Calculus.. [Research Report] LIp RR-1994-26, Laboratoire de l'informatique du parallélisme. 1994, 2+14p. ⟨hal-02102044⟩
15 Consultations
336 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More