A note on inconsistencies caused by fixpoints in a cartesian closed category (1990)

by H Huwig, A Poigné
Venue:Theoretical Computer Science