1. M. Nivat and J. C. Reynolds, Eds., Algebraic Methods in Semantics, Cambridge Univ. Press, 1985.
2. Categories in Computer Science and Logic, J. W. Gray and A. Scedrov, Eds., Contemporary Mathematics ??, Amer. Math. Soc., Providence, R. I. 1989.
3. Logical Foundations of Functional Programming, G. Huet, Ed., Addison-Wesley, Reading, Mass. 1989.
4. Logic in Computer Science, Proceedings First Annual Symposium, Boston, MA, 1986, Computer Society Press, Washington, D. C.
5. Logic in Computer Science, Proceedings Second Annual Symposium, Ithaca, NY, 1987, Computer Society Press, Washington, D. C.