On the 2-Categorical View of Proofs.

Cécilia Englander Edward Hermann Haeusler

Published in: ISoLA (1) (2010)

Keyphrases

theorem proving
categorical data
information retrieval
machine learning
artificial intelligence
case study
search algorithm
expert systems
multiple views