Published 2012
| Version v1
Journal article
Extended Initiality for Typed Abstract Syntax
Creators
Contributors
Others:
- Laboratoire Jean Alexandre Dieudonné (JAD) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Radboud University [Nijmegen]
- Centrum voor Wiskunde en Informatica (CWI) ; Centrum Wiskunde & Informatica (CWI)-Netherlands Organisation for Scientific Research
Description
International audience
Additional details
Identifiers
- URL
- https://hal.univ-cotedazur.fr/hal-01329577
- URN
- urn:oai:HAL:hal-01329577v1
Origin repository
- Origin repository
- UNICA