Sign in

Equality Checking for General Type Theories in Andromeda 2.

Andrej BauerPhilipp G. HaselwarterAnja Petkovic
Published in: ICMS (2020)
Keyphrases
  • special case
  • artificial intelligence
  • computer vision
  • general theory
  • machine learning
  • video sequences
  • inductive logic programming