Daniil Frumin has contributed to 5 nLab pages.
Daniil Frumin | 10:17:06, October 15 2018 |
k-tuply monoidal n-category | 10:16:44, October 15 2018 |
groupoid | 11:11:58, May 15 2018 |
partial combinatory algebra | 13:05:47, September 03 2015 |
fixed-point combinator | 20:06:40, November 02 2014 |
Daniil Frumin | 20:06:07, November 02 2014 |