Continuation Semantics in Typed Lambda-Calculi (Summary).

Albert R. Meyer Mitchell Wand

Published in: Logic of Programs (1985)

Keyphrases

lambda calculus
database query languages
predicate calculus
formal semantics
higher order
logic programming
operational semantics
vague concepts
database
natural language processing
first order logic
default reasoning
video summarization
document summarization