Login / Signup

Wiring diagrams as normal forms for computing in symmetric monoidal categories.

Evan PattersonDavid I. SpivakDmitry Vagner
Published in: ACT (2020)
Keyphrases