A Logically Saturated Extension of lambdaµµ.

Lionel Elie Mamane Herman Geuvers James McKinna

Published in: Calculemus/MKM (2009)

Keyphrases

fixed point
real time
multiscale
databases
neural network
machine learning
natural language
efficient implementation