This page shows all presentations of this author published in EasyChair Smart Slide.
A theory of linear typings as flows on 3-valent graphs
Noam Zeilberger