Mario Román

Search

Search IconIcon to open search

do-notation - theory of copy-discard-compare categories

Last updated Apr 14, 2025

theory-of-copy-discard-compare

Tags: arrow notation, copy-discard-compare category.