The Contour Model Lambda Calculus Machine.

Clement McGowan

Published in: Proving Assertions About Programs (1972)

Keyphrases

high level
programming language
artificial intelligence
conceptual model
formal model
lambda calculus