Category Theory in Coq 8.5.

Amin Timany Bart Jacobs

Published in: FSCD (2016)

Keyphrases

theoretical framework
formal methods
multi agent
real world
theoretical basis
real time
neural network
computer vision