Formalizing Monoidal Categories and Actions for Syntax with Binders
Date:
A workshop talk presented (online) at the The Ninth International Workshop on Coq for Programming Languages.
Date:
A workshop talk presented (online) at the The Ninth International Workshop on Coq for Programming Languages.