Constructing Fully Complete Models for Multiplicative Linear Logic.

Andrea Schalk, Hugh P. Steele

Browse the full LICS paper archive.