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