Inverse image analysis generalises strictness analysis (1991)

by P Dybjer
Venue:Information and Computation