Benjamin MacAdam
发表
J. Robin B. Cockett,
Gordon D. Plotkin,
Jean-Simon Pacaud Lemay,
2019,
CSL.
Benjamin MacAdam,
2021,
Appl. Categorical Struct..