On characterizations of the basic feasible functional, Part II, unpublished manuscript (2000)

by R Irwin, B Kapron, J Royer
Venue:Journal of Functional Programming