Skip to content

Intensional Double Glueing, Biextensional Collapse, and the Chu Construction.

Dominic Hughes

VenueBMFPS
Year2003
ProceedingsMFPS

Browse the full MFPS paper archive.