A note on inconsistencies caused by in a cartesian closed category. Theoretical Computer Science (1990)

by H Huwig, A Poigne
Venue:Theoretical Comput. Sci