Quantitative and Qualitative Semantics (Abstract of Invited Lecture)

Jean-Yves Girard

Browse the full LICS paper archive.