the Australasian theory, January 01-01, 2008, Wollongong, NSW, Australia

M W Bunder, The inhabitation problem for intersection types, Proceedings of the fourteenth symposium on Computing: the Australasian theory, January 01-01, 2008, Wollongong, NSW, Australia

2008