Isbell Duality for Refinement Types.

Paul-André Melliès Noam Zeilberger

Published in: CoRR (2015)

Keyphrases

linear programming
data mining
video sequences
databases
neural network
artificial intelligence
case study
artificial neural networks