Extensionality of lambda-*.

Andrew Polonsky

Published in: TYPES (2014)

Keyphrases

lambda calculus
fixed point
real time
computer vision
prior knowledge
computational intelligence
graphical models