Login / Signup
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
Mayuko Kori
Ichiro Hasuo
Shin-ya Katsumata
Published in:
CONCUR (2021)
Keyphrases
</>
neural network
data model
data sets
computer vision
multiscale