Skip to content

Constructive Category Theory (No. 1).

Akira Kanda

VenueBMFCS
Year1981
ProceedingsMFCS

Browse the full MFCS paper archive.