Talk page

Title:
Untyped Linear Lambda Calculus and the Combinatorics of 3-valent Graphs

Speaker:
Noam Zeilberger

Link:
https://www.youtube.com/watch?v=qffzLGkeikc