On a modal lambda calculus for S4.

Frank Pfenning Hao-Chi Wong

Published in: MFPS (1995)

Keyphrases

lambda calculus
programming language
modal logic
program understanding
predicate calculus
higher order
database query languages
general purpose
complex objects
database systems