Extended Initiality for Typed Abstract Syntax

Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (2), 〈10.2168/LMCS-8(2:1)2012〉
Liste complète des métadonnées

https://hal.univ-cotedazur.fr/hal-01329577
Contributeur : Jean-Louis Thomin <>
Soumis le : jeudi 9 juin 2016 - 14:01:06
Dernière modification le : jeudi 3 mai 2018 - 13:32:58

Lien texte intégral

Identifiants

Collections

Citation

Benedikt Ahrens, Jan Rutten. Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (2), 〈10.2168/LMCS-8(2:1)2012〉. 〈hal-01329577〉

Partager

Métriques

Consultations de la notice

77