Extended Initiality for Typed Abstract Syntax

Benedikt Ahrens 1 Jan Rutten 2, 3
1 JAD - Laboratoire Jean Alexandre Dieudonné
2 Radboud university [Nijmegen]
3 CWI - Centrum voor Wiskunde en Informatica
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

openaccess

Identifiants

Collections

UNICE | DIEUDONNE | INSMI | UNIV-COTEDAZUR

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

77

Contact

Université Nice Sophia Antipolis (UNS) Observatoire de la Côte d’Azur (OCA) Centre national de la recherche scientifique (CNRS) Institut national de la recherche en informatique et en automatique (Inria) SKEMA Business School EDHEC Business School  Centre Hospitalier Universitaire de Nice (CHU Nice) Centre National de Création Musicale (CIRM)  Ecole Nationale Supérieure d’Art Villa Arson Ecole Supérieure de Réalisation Audiovisuelle (ESRA) The Sustainable Design School (SDS) Ecole Supérieure de Danse de Cannes Rosella Hightower Conservatoire National à Rayonnement Régional de Nice (CNRR)