A global representation of the recursive functions in the λ-calculus
Under an Elsevier user license
open archive
Cited by (0)
- *
The author is partially supported by the Netherlands Organization for the Advancement of Pure Research (Z.W.O.).
Copyright © 1976 Published by Elsevier B.V.