Kripke-Style models for typed lambda calculus

John C. Mitchell Eugenio Moggi

Published in: LICS (1987)

Keyphrases

lambda calculus
predicate calculus
higher order
programming language
machine learning
high level
database systems
open source
model checking