Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?

Andrew M. Pitts Ian David Bede Stark

Published in: MFCS (1993)

Keyphrases

higher order
high order
real time
markov random field
desirable properties
natural images
named entities
lower order
lower bound
pairwise
structural properties
automatically generate
topological properties
algebraic properties