Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus.

Kazushige Terui

Published in: RTA (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
semantic network
domain specific
databases
artificial intelligence
database systems
semantic relations