Typability in bounded dimension.

Andrej Dudenhefner, Jakob Rehof

Browse the full LICS paper archive.