EasyChair Smart Slide
Computational Back-and-Forth Arguments in Constructive Type Theory
Computational Back-and-Forth Arguments in Constructive Type Theory