Initiality for Typed Syntax and Semantics.

Benedikt Ahrens

Browse the full WoLLIC paper archive.