Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq.

Burak Ekici Cezary Kaliszyk

Published in: Math. Comput. Sci. (2020)

Keyphrases

data sets
detection algorithm
neural network
artificial intelligence
social networks
expert systems
peer to peer
theorem prover