Login / Signup
What is a Model of the Lambda Calculus?
Albert R. Meyer
Published in:
Inf. Control. (1982)
Keyphrases
</>
databases
formal model
artificial intelligence
high level
data structure
general purpose
user defined