"Distributive laws for Lawvere theories."

Eugenia Cheng (2020)

Details and statistics

DOI: 10.32408/COMPOSITIONALITY-2-1

access: open

type: Journal Article

metadata version: 2022-07-12