Effective domains and intrinsic structure (1990)

by Wesley Phoa
Venue:In Logic in Computer Science