Seldin J.P., Hindley J.R. (eds). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalismсборник

Статьи, опубликованные в сборнике

---

• • 1980 Sequential Systems of λ-Conversion and of Combinatory Logic
  • Kuzichev Alexander S.
  • в сборнике Seldin J.P., Hindley J.R. (eds). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, место издания Academic Press, с. 141-155