Quotients by Idempotent Functions in Cedille.

Andrew Marmaduke Christopher Jenkins Aaron Stump

Published in: TFP (2019)

Keyphrases

database
neural network
machine learning
artificial intelligence
computer vision
linear combination
arc consistency