Polarized proof-nets and lambda-µ-calculus.

Olivier Laurent

Published in: Theor. Comput. Sci. (2003)

Keyphrases

lambda calculus
predicate calculus
programming language
theorem proving
database query languages
program understanding
complex objects
theorem prover
higher order
predicate logic
case study
relational databases
source code
distance function
semantic network
formal model