A dependently-typed construction of semi-simplicial types.

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

image processing
training data
higher order
construction process
neural network
artificial intelligence
computer vision
case study
high level
learning environment
cooperative
lower bound
artificial neural networks