research
∙
04/16/2020
Completeness of Nominal PROPs
We introduce nominal string diagrams as string diagrams internal in the ...
research
∙
04/16/2019
Use your Google Account to sign in to DeepAI