Skip to content

Rewriting for Monoidal Closed Categories.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

VenueBFSCD
Year2022
ProceedingsFSCD

Browse the full FSCD paper archive.