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: Cousineau:Guy
Contributed to:
1997
1985Wrote 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.