View of Initiality for Typed Syntax and Semantics

Return to Article Details Initiality for Typed Syntax and Semantics Download Download PDF