A note on the proof theory of the lambda-II-calculus.

David J. Pym A note on the proof theory of the lambda-II-calculus. 199-230 1995 54 Studia Logica 2 db/journals/sLogica/sLogica54.html#Pym95