 |
HAL Université Côte d'Azur |  |
- Homepage
- Search
- Browse
- Deposit
-
Deposit - instructions
- Deposit in HAL
-
Deposit in HAL legally
- Do I have the right?
- SHERPA / RoMEO - publishers policies and self-archiving
- HELOISE - policies of French or French-language publishers and journals
- DULCINEA - platform which lists the policies of Spanish-language publishers and journals
- DOAJ - Directory of Open Access Journals
- WILLO - to know your rights to publish your publications in open access (tool created by Lilliad - Lille)
- Dissemin - Make sure your publications are freely accessible
- UCA scientific signature
- Deposit instructions for IDEX
- How to manage your deposits?
- How to create IdHAL and CV?
- The OA in practice
- Support
Journal articles
Extended Initiality for Typed Abstract Syntax
Benedikt Ahrens
1
Jan Rutten
2, 3
Benedikt Ahrens 1
Author
Jan Rutten 2, 3
Author
1
JAD - Laboratoire Jean Alexandre Dieudonné (Université de Nice - Sophia Antipolis U.M.R. no 7351 du C.N.R.S. Parc Valrose 06108 Nice Cedex 02 France - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015 - 2019) (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7351 (France)
2
Radboud university [Nijmegen] (Comeniuslaan 4, 6525 HP Nijmegen - Netherlands)
3
CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)
- CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)
- Netherlands Organisation for Scientific Research (Netherlands)
Document type :
Journal articles
Domain :
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 : Tuesday, May 26, 2020 - 6:50:52 PM
Contributor : Jean-Louis Thomin <>
Submitted on : Thursday, June 9, 2016 - 2:01:06 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:52 PM
Links full text
Identifiers
- HAL Id : hal-01329577, version 1
- DOI : 10.2168/LMCS-8(2:1)2012
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⟩
Metrics
Record views
