Advances in Linear Logic - Jean-Yves Girard-Yves Lafont-Laurent Regnier (Cambridge University Press, 1995)
Keywords: Infinity; Logic, Symbolic and mathematical--Congresses.; MATHEMATICS