Some Results on Numerical Systems in lambda-Calculus.

Benedetto Intrigila

Published in: Notre Dame J. Formal Log. (1994)

Keyphrases

lambda calculus
artificial intelligence
reasoning systems