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