Elsevier

Theoretical Computer Science

Volume 3, Issue 2, November 1976, Pages 225-242
Theoretical Computer Science

A global representation of the recursive functions in the λ-calculus

https://doi.org/10.1016/0304-3975(76)90025-6Get rights and content
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.).