BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
P.Curien M.Mauny
Talks about:
geometri (1) function (1) abstract (1) program (1) categor (1) machin (1)

Person: Guy Cousineau

DBLP DBLP: Cousineau:Guy

Contributed to:

PLILP 19971997
FPCA 19851985

Wrote 2 papers:

PLILP-1997-Cousineau #functional #geometry #programming
Functional Programming and Geometry (GC), pp. 309–322.
FPCA-1985-CousineauCM85 #automaton #category theory
The Categorical Abstract Machine (GC, PLC, MM), pp. 50–64.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.