Introduction: Workshop on Intersection Types and Related Systems (ITRS 00)

J. B. Wells. Introduction: Workshop on Intersection Types and Related Systems (ITRS 00). In Ugo Montanari, José D. P. Rolim, Emo Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Volume 1853 of Lecture Notes in Computer Science, pages 263-266, Springer, 2000.

Abstract

Abstract is missing.