Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions.

Serguei A. Mokhov Joey Paquet

Published in: SERA (2010)

Keyphrases

higher order
higher order logic
special case
natural images
neural network
high order
pairwise
evaluation model
programming environment
low order
formal logic
probabilistic model
programming language
markov random field
natural language
context dependent
predicate logic
lower order
database
lambda calculus