Article Dans Une Revue
Logical Methods in Computer Science
Année : 2012
Jean-Louis Thomin : Connectez-vous pour contacter le contributeur
https://hal.univ-cotedazur.fr/hal-01329577
Soumis le : jeudi 9 juin 2016-14:01:06
Dernière modification le : jeudi 14 mars 2024-03:11:27
Dates et versions
Identifiants
- HAL Id : hal-01329577 , version 1
- ARXIV : 1107.4751
- DOI : 10.2168/LMCS-8(2:1)2012
Citer
Benedikt Ahrens, Jan Rutten. Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science, 2012, 8 (2), ⟨10.2168/LMCS-8(2:1)2012⟩. ⟨hal-01329577⟩
Collections
50
Consultations
0
Téléchargements