Source: http://girard.disque.math.cnrs.fr/FILMS.pdf