the Australasian theory, January 01-01, 2008, Wollongong, NSW, Australia
symposium O
Proceedings O
intersection T
problem F
The I
Intersection type calculi of bounded dimension