Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings 1991 · ENGLISH · PDF View details →
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings 1994 · ENGLISH · DJVU View details →
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings 1991 · ENGLISH · DJVU View details →
