De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case.

Fairouz Kamareddine Roel Bloo

Published in: J. Log. Algebraic Methods Program. (2005)

Keyphrases

real time
databases
genetic algorithm
lambda calculus
real world
high level
probabilistic model
graphical models
document collections