Login / Signup

Rewriting for Monoidal Closed Categories.

Mario Alvarez-PicalloDan R. GhicaDavid SprungerFabio Zanasi
Published in: FSCD (2022)
Keyphrases