Typed ψ-calculi.

Published in: CONCUR (2011)

Keyphrases

higher order
lambda calculus
sequent calculi
real time
search engine
qualitative spatial and temporal reasoning
databases
real world
high level
pairwise
fuzzy logic
reasoning problems
fixed order