Login / Signup
Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley's Result.
Mohamed Mezghiche
Published in:
Theor. Comput. Sci. (1991)
Keyphrases
</>
lambda calculus
machine learning
artificial intelligence
source code