The Geometry of Types (Long Version)

Ugo Dal Lago Barbara Petit

Published in: CoRR (2012)

Keyphrases

three dimensional
computer vision
real time
decision making
information technology
medical images
low dimensional