Proceedings of the CLICS Workshop: Part I og II
Keyword(s):
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.
2017 ◽
Vol 2017
(Special-1)
◽
pp. 91-104
Keyword(s):
1993 ◽
Vol 15
(3)
◽
pp. 55-62
◽