EasyChair Smart Slide
Galois Connecting Call-by-Value and Call-by-Name
Galois Connecting Call-by-Value and Call-by-Name