Skip to Main content Skip to Navigation
Journal articles

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 : Monday, October 12, 2020 - 2:28:05 PM

Links full text

openaccess

Identifiers

Collections

UNICE | DIEUDONNE | CNRS | 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

148

Support