Kripke-Style Models for Typed lambda Calculus.

John C. Mitchell Eugenio Moggi

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

open source
lambda calculus
source code
programming language
pairwise
query processing
model checking
modal logic
program understanding
database query languages