Login / Signup
Towards a directed homotopy type theory.
Paige Randall North
Published in:
CoRR (2018)
Keyphrases
</>
theoretical framework
hidden markov models
theoretical foundation
special case
fixed point
decision theory
databases
three dimensional
cooperative
programming language
belief functions
general theory
formal theory