A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
Serguei A. MokhovJoey PaquetPublished in: CoRR (2009)
Keyphrases
- higher order
- higher order logic
- high order
- formal theory
- imperative programs
- dynamic logic
- theoretical framework
- pairwise
- markov random field
- data integration
- query evaluation
- lambda calculus
- general purpose
- partial order
- modal logic
- classical logic
- software engineering
- commonsense reasoning
- end users
- mobile devices
- anti unification
- high level