Normal forms and cutfree proofs as natural transformations (1989)

by J-Y Girard, A Scedrov, P J Scott
Venue:Proceedings Workshop Logic from Computer Science