Login / Signup
A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY.
Serguei A. Mokhov
Joey Paquet
Published in:
ACIS-ICIS (2010)
Keyphrases
</>
higher order
imperative programs
higher order logic
dynamic logic
natural images
data integration
lower order
high order
markov random field
query evaluation
machine learning
dynamic environments
visual information
modal logic
logical framework
object oriented
end users
pairwise
expert systems