A Theory of Explicit Substitutions with Safe and Full Composition - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2009

A Theory of Explicit Substitutions with Safe and Full Composition

Delia Kesner
  • Fonction : Auteur
  • PersonId : 836418
Preuves, Programmes et Systèmes

Domaines

Langage de programmation [cs.PL]

Delia KESNER  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00524735

Soumis le : vendredi 8 octobre 2010-16:28:16

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

Fichier non déposé

Dates et versions

hal-00524735 , version 1 (08-10-2010)

Identifiants

  • HAL Id : hal-00524735 , version 1

Citer

Delia Kesner. A Theory of Explicit Substitutions with Safe and Full Composition. Logical Methods in Computer Science, 2009, 5 (3:1), pp.Pages 1-29. ⟨hal-00524735⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More