Login / Signup
Strictification of weakly stable type-theoretic structures using generic contexts.
Rafaël Bocquet
Published in:
CoRR (2021)
Keyphrases
</>
learning algorithm
probabilistic model
decision making
image processing
image sequences