A type assignment for λ-calculus complete both for FPTIME and strong normalization.

Erika De Benedetti Simona Ronchi Della Rocca

Published in: Inf. Comput. (2016)

Keyphrases

databases
three dimensional
preprocessing
type checking
knowledge representation
normalization method