EasyChair Smart Slide
A Formal Equational Theory for Call-by-Push-Value
A Formal Equational Theory for Call-by-Push-Value