Principal Typing in Elementary Affine Logic.
Paolo CoppolaSimona Ronchi Della RoccaPublished in: TLCA (2003)
Keyphrases
- set theory
- affine transformation
- affine invariant
- logic programming
- classical logic
- neural network
- predicate logic
- multi valued
- school children
- sound and complete axiomatization
- weak perspective
- dynamic logic
- deontic logic
- computational properties
- automated reasoning
- image registration
- learning algorithm
- formal theory
- error rate
- multiscale
- image processing