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

Erika De Benedetti Simona Ronchi Della Rocca

Published in: CoRR (2014)

Keyphrases

lambda calculus
database query languages
programming language
artificial intelligence
database systems
expert systems
predicate calculus