Normal form theorem for bar recursive functions of finite type (1971)

by W W Tait
Venue:Proceedings of the Second Scandinavian Logic Symposium, North-Holland