( en | de | ru )

 

Disambiguation of "Cousineau, Guy"

Author of the publication

copydeleteadd this publication to your clipboard
The functional approach to programming.

, and . Cambridge University Press, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Denis Cousineau

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

 

Other publications of authors with the same name

An Algebraic Definition for Control Structures.. Theor. Comput. Sci., (1980)Tilings as a programming exercise.. Theor. Comput. Sci., 281 (1-2): 207-217 (2002)Combinateures, Catégoriques et Implémentation des Languages Fonctionnels., , , and . Combinators and Functional Programming Languages, volume 242 of Lecture Notes in Computer Science, page 85-103. Springer, (1985)Functional Programming and Geometry.. PLILP, volume 1292 of Lecture Notes in Computer Science, page 309-322. Springer, (1997)Program Equivalence and Provability., and . MFCS, volume 74 of Lecture Notes in Computer Science, page 237-245. Springer, (1979)The Categorical Abstract Machine., , and . Sci. Comput. Program., 8 (2): 173-202 (1987)Three Semantics: A Framework for Studying Program Structures and Program Logics., and . IFIP Congress, page 77-82. (1980)The functional approach to programming., and . Cambridge University Press, (1998)The Categorical Abstract Machine., , and . FPCA, volume 201 of Lecture Notes in Computer Science, page 50-64. Springer, (1985)