Journal Articles
Logical Methods in Computer Science
Year : 2012
Jean-Louis Thomin : Connect in order to contact the contributor
https://hal.univ-cotedazur.fr/hal-01329577
Submitted on : Thursday, June 9, 2016-2:01:06 PM
Last modification on : Friday, May 3, 2024-2:21:24 PM
Dates and versions
Identifiers
- HAL Id : hal-01329577 , version 1
- ARXIV : 1107.4751
- DOI : 10.2168/LMCS-8(2:1)2012
Cite
Benedikt Ahrens, Jan Rutten. Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science, 2012, 8 (2), ⟨10.2168/LMCS-8(2:1)2012⟩. ⟨hal-01329577⟩
Collections
54
View
0
Download