Intersection Type Assignment Systems (1995)

by Steffen Van Bakel
Venue:THEORETICAL COMPUTER SCIENCE
Citations:61 - 33 self