The biequivalence of locally cartesian closed categories and Martin-Löf type theories.

Pierre Clairambault Peter Dybjer

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

Keyphrases

theoretical framework
e learning
neural network
artificial intelligence
website
case study
multi agent systems
artificial neural networks
multiple types
queueing networks
legal knowledge