Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus.

René David Karim Nour

Published in: TLCA (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
theorem proving
theorem prover
program understanding
database query languages
databases
co occurrence
higher order