Mathematics
and Interactions

Noam Zeilberger

zbMATH link

• One video
  

  55:07

  published on December 2, 2020

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

  By Noam Zeilberger