Login / Signup

Extended Initiality for Typed Abstract Syntax

Benedikt Ahrens
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases