Statman’s 1-section theorem (1995)

by J G Riecke
Venue:Inf. Comput