Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.

Kentaro Kikuchi

Published in: CSL (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
artificial intelligence
database query languages
databases
relational databases
wordnet
first order logic