Richard Statman. Algebraic and combinatorial structures intrinsic to functional programming
Channel: Computational Logic and Applications
Date: 2020-10-13

15th Workshop
Computational Logic and Applications (https://cla.tcs.uj.edu.pl/)
12-13 October 2020

Speaker: Richard Statman
Title:  Algebraic and combinatorial structures intrinsic to functional programming 
Abstract:
Somewhat eccentric survey of our work in the area of algebraic and combinatorial structures intrinsic to functional programming.