Extended Initiality for Typed Abstract Syntax

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 : Thursday, July 4, 2019 - 3:56:24 PM

Links full text

Identifiers

Collections

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⟩

Share

Metrics

Record views

109