Unique Normal Forms for -calculus with Surjective (1987)

by Vrijer
Venue:Pairing, Rapport 87-03, Centre of Mathematics and Computer Science