The Mixed Powerdomain (1992)

by C Gunter
Venue:Theoretical Computer Science