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

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

Alexandros Singh - Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda TermsПодробнее

Alexandros Singh - Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms

Hope for a Type-Theoretic Understanding of Zero-Knowledge - Noam ZeilbergerПодробнее

Hope for a Type-Theoretic Understanding of Zero-Knowledge - Noam Zeilberger

Noam Zeilberger Lecture 1, OPLSS 2016Подробнее

Noam Zeilberger Lecture 1, OPLSS 2016

Noam Zeilberger, Skew monoidal categories and the proof-theoretic anatomy of associativity.Подробнее

Noam Zeilberger, Skew monoidal categories and the proof-theoretic anatomy of associativity.

Substructural Type Theory - ZeilbergerПодробнее

Substructural Type Theory - Zeilberger

Another d3.js visualization of a lambda calculus computationПодробнее

Another d3.js visualization of a lambda calculus computation

Live Recodred Video: Untyped Lambda CalculusПодробнее

Live Recodred Video: Untyped Lambda Calculus

Noam Zeilberger Lecture 2, OPLSS 2016Подробнее

Noam Zeilberger Lecture 2, OPLSS 2016

Lambda calculus visualization: one plus one is twoПодробнее

Lambda calculus visualization: one plus one is two