Coinduction up-to in a fibrational setting.

Filippo Bonchi Daniela Petrisan Damien Pous Jurriaan Rot

Published in: CSL-LICS (2014)

Keyphrases

learning algorithm
artificial intelligence
image processing
pattern recognition
digital libraries
data model
special case
semi supervised