Comparing Models of the Non-Extensional Typed Lambda-Calculus.

Raymond Hoofman

Published in: LFCS (1994)

Keyphrases

lambda calculus
programming language
higher order
machine learning
object oriented
conceptual models
program understanding