Extended Initiality for Typed Abstract Syntax

Benedikt Ahrens; Jan Rutten

doi:10.2168/LMCS-8(2:1)2012

Journal articles

Extended Initiality for Typed Abstract Syntax

Benedikt Ahrens ¹ 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

Domain :

Mathematics [math]

Complete list of metadata

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

Extended Initiality for Typed Abstract Syntax

Links full text

Identifiers

Collections

Citation

Export

Metrics

151

Extended Initiality for Typed Abstract Syntax

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

151