CLiCS - Categorical Logic in Computer Science II
ESPRIT Project No 6811
in the
Basic Research Action
Documents related to the project (in DVI format):
- Technical Annex for
ESPRIT BRA 3003 CLICS
(Oct 1989 - Apr 1992).
- Technical Annex for
ESPRIT BRA 6811 CLICS-II
(Oct 1992 - Dec 1995).
- Periodic Progress Report
PPR1 (Oct 1993).
- Periodic Progress Report
PPR2 (Oct 1994), together with its
bibliography.
- Periodic Progress Report
PPR3 (Sep 1995), together with its
bibliography.
- Draft of the Final Report
FR (Feb 1996).
The co-ordinator is Eugenio Moggi.