Refinement types and computational duality.

Noam Zeilberger

Published in: PLPV (2009)

Keyphrases

three dimensional
linear programming
learning algorithm
decision making
image sequences
medical images