Login / Signup
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories.
Pierre Clairambault
Peter Dybjer
Published in:
TLCA (2011)
Keyphrases
</>
databases
artificial intelligence
neural network
image processing
design theory