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
Document type :
Journal articles
Complete list of metadatas
https://hal.univ-cotedazur.fr/hal-01329577
Contributor : Jean-Louis Thomin <>
Submitted on : Thursday, June 9, 2016 - 2:01:06 PM
Last modification on : Thursday, July 4, 2019 - 3:56:24 PM

Links full text

openaccess

Identifiers

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

109

Support

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)