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