Login / Signup
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case.
Fairouz Kamareddine
Roel Bloo
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
co occurrence
natural language
precisely defined
neural network