I-categories as a framework for solving domain equations (1993)

by A Edalat, M B Smyth
Venue:Theoretical Computer Science