Notes on partial combinatory algebras / Ingemarie BethkeSelected papers on Automath / ed. by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van DaalenLogical frameworks for truth and abstraction : an axiomatic study / Andrea CantiniHandbook of recursive mathematics / Yu.L. ErshovHandbook of recursive mathematics / Yu.L. ErshovThe language theory of Automath / [by] Diederik Ton van DaalenCombinatory logic / Haskell B. CurryCombinatory logic / Haskell B. Curry