Search the dblp DataBase

Publications of Author

1. Guy Cousineau, Pierre-Louis Curien, Michel Mauny
   The Categorical Abstract Machine. [Citation Graph (2, 0)][DBLP]
   FPCA, 1985, pp:50-64 [Conf]
   
2. Patrice Enjalbert, Guy Cousineau
   Three Semantics: A Framework for Studying Program Structures and Program Logics. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1980, pp:77-82 [Conf]
   
3. Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
   Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:85-103 [Conf]
   
4. Guy Cousineau, Patrice Enjalbert
   Program Equivalence and Provability. [Citation Graph (0, 0)][DBLP]
   MFCS, 1979, pp:237-245 [Conf]
   
5. Guy Cousineau, Maurice Nivat
   On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. [Citation Graph (0, 0)][DBLP]
   MFCS, 1979, pp:567-580 [Conf]
   
6. Guy Cousineau
   Functional Programming and Geometry. [Citation Graph (0, 0)][DBLP]
   PLILP, 1997, pp:309-322 [Conf]
   
7. Jean-Michel Autebert, Luc Boasson, Guy Cousineau
   A Note on 1-Locally Linear Languages [Citation Graph (0, 0)][DBLP]
   Information and Control, 1978, v:37, n:1, pp:1-4 [Journal]
   
8. Guy Cousineau, Pierre-Louis Curien, Michel Mauny
   The Categorical Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:8, n:2, pp:173-202 [Journal]
   
9. Guy Cousineau
   Tilings as a programming exercise. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:281, n:1-2, pp:207-217 [Journal]
   
10. Guy Cousineau
    An Algebraic Definition for Control Structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:12, n:, pp:175-192 [Journal]