Statman's Hierarchy Theorem.

Bram Westerbaan Bas Westerbaan Rutger Kuyper Carst Tankink Remy Viehoff Henk Barendregt

Published in: CoRR (2017)

Keyphrases

von neumann
hierarchical structure
computer vision
higher level
multiscale
data structure
relational databases
lower level
concept hierarchy
interactive theorem proving