An Interpretation of the Fan Theorem in Type Theory.

Daniel Fridlender

Published in: TYPES (1998)

Keyphrases

von neumann
theoretical framework
computer vision
data structure
special case
conceptual framework
theoretical basis
semantic interpretation
mathematical foundations
formal theory