Effective Domains and Intrinsic Structure, in (1990)

by W K-S Phoa
Venue:Logic in Computer Science