The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.

Ekaterina Komendantskaya Dmitry Rozplokhas Henning Basold

Published in: CoRR (2020)

Keyphrases

computer vision
data structure
medical images
database
artificial intelligence
lower bound