∞-Categorical Models of Linear Logic.

Elis Harington, Samuel Mimram

Browse the full FSCD paper archive.