This is a collection of papers, notes and copies of transparencies representing the talks of the CLICS Workshop at the Computer Science Department, Aarhus University, 23 - 27 March 1992. CLICS is an Esprit, Basic Research Action on Categorical Logic in Computer Science.