The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories

Pierre Clairambault Peter Dybjer

Published in: CoRR (2011)

Keyphrases

theoretical framework
queueing networks
database
neural network
image processing
database systems
data structure
object detection