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

J. B. Wells (2000)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2019-03-06

a service of  Schloss Dagstuhl - Leibniz Center for Informatics