Lambda-Calculus with Director Strings - Département d'informatique Accéder directement au contenu
Article Dans Une Revue Applicable Algebra in Engineering, Communication and Computing Année : 2005

Lambda-Calculus with Director Strings

Ian Mackie
  • Fonction : Auteur
  • PersonId : 838383
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Maribel Fern{á}ndez
  • Fonction : Auteur
François-Régis Sinot
  • Fonction : Auteur

Domaines

Langage de programmation [cs.PL]

Ian Mackie  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00133315

Soumis le : dimanche 25 février 2007-16:31:21

Dernière modification le : vendredi 24 mars 2023-14:52:48

Fichier non déposé

Dates et versions

inria-00133315 , version 1 (25-02-2007)

Identifiants

  • HAL Id : inria-00133315 , version 1

Citer

Ian Mackie, Maribel Fern{á}ndez, François-Régis Sinot. Lambda-Calculus with Director Strings. Applicable Algebra in Engineering, Communication and Computing, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437. ⟨inria-00133315⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX X-LIX X-DEP-INFO
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More