Constant Time Reductions in Lambda-Caculus.

Michel Parigot Paul Rozière

Published in: MFCS (1993)

Keyphrases

fixed point
data sets
efficient computation
real time
real world
data structure
pattern recognition
probabilistic model
fuzzy logic
lambda calculus