The mixed powerdomain (1992)

by C Gunter
Venue:Theoretical Computer Science