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.