View of Initial Semantics for higher-order typed syntax in Coq

Return to Article Details Initial Semantics for higher-order typed syntax in Coq Download Download PDF