Une logique à grain fain: la logique linéaire

Vincent Danos. Une logique à grain fain: la logique linéaire. In Marc-Michel Corsini, editor, JFPLC 94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. pages 311, 1994.

Abstract

Abstract is missing.