EasyChair Smart Slide
The Placeholder View of Assumptions and the Curry–Howard Correspondence
The Placeholder View of Assumptions and the Curry–Howard Correspondence