This page shows all presentations of this author published in EasyChair Smart Slide.
Galois Connecting Call-by-Value and Call-by-Name
Dylan McDermott and Alan Mycroft