Eta-Rules in Martin-löF Type Theory.

Ansten Mørch Klev

Published in: Bull. Symb. Log. (2019)

Keyphrases

theoretical framework
decision rules
general theory
computer vision
knowledge representation
genetic programming
classification rules
rule induction
rule extraction
formal theory