Skip to content

Tags: UniMath/largecatmodules

Tags

csl2018

Formalization submitted with the CSL 2018 paper High-level signatures…

… and initial semantics