Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi.

Jeremy G. Siek Tianyu Chen

Published in: J. Funct. Program. (2021)

Keyphrases

qualitative spatial reasoning
sequent calculi
lambda calculus
qualitative spatial and temporal reasoning
theoretical framework
theoretical basis
higher order
formal theory
decision making
computational model
belief functions
reasoning problems
search engine
spatial relations
meta level