Advances In Linear Logic - Girard, Jean-Yves (Cambridge, 2003)
Keywords: Mathematics