La valeur d'un entier classique en lm\lambda\mu-calcul.

Published in: Arch. Math. Log. (1997)

Keyphrases

language model
language modeling
lambda calculus
fixed point
object recognition
probabilistic model
development environment
databases
neural network
learning algorithm
multimedia
pattern recognition
pairwise
software engineering