Equality Checking for General Type Theories in Andromeda 2.

Andrej Bauer Philipp G. Haselwarter Anja Petkovic

Published in: ICMS (2020)

Keyphrases

special case
artificial intelligence
computer vision
general theory
machine learning
video sequences
inductive logic programming