Typing Lambda Terms in Elementary Logic with Linear Constraints.

Paolo Coppola Simone Martini

Published in: TLCA (2001)

Keyphrases

linear constraints
constraint databases
set theory
equality constraints
linearly constrained
image processing
nonlinear programming
quadratic program
constraint solver