EasyChair Smart Slide
Invited Talk: Scott Domains for Denotational Semantics and Program Extraction
Invited Talk: Scott Domains for Denotational Semantics and Program Extraction