This page shows all presentations of this author published in EasyChair Smart Slide.
Logic, Algebra, and Geometry at the Foundation of Computer Science
Tony Hoare, Alexandra Mendes and Joao F. Ferreira