On Modular Properties of Higher Order Extensional Lambda Calculi.

Roberto Di Cosmo Neil Ghani

Published in: ICALP (1997)

Keyphrases

higher order
lambda calculus
case study
pairwise
natural images
high order
database
databases
markov random field
graphical models
fixed point
sequent calculi