Sequent combinators: a Hilbert system for the lambda calculus.

Healfdene Goguen Jean Goubault-Larrecq

Published in: Math. Struct. Comput. Sci. (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
modal logic
inference rules
database query languages
higher order
program understanding