Login / Signup
Les modèles informatiques des lambda-calculus.
Louis Nolin
Published in:
Lambda-Calculus and Computer Science Theory (1975)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
data structure
inference rules