University of Pennsylvania;
combinatorial species; algebraic data types;
机译:种类,函子和类型,我的天哪!
机译:来自<重点类型=“斜体”> g fephasis> -NOMINAL集合的自由函数为01- <重点类型=“斜体”> G EMPHASIS> -NOMINAL集合
机译:取芯的结构:感应函子,Maschke型定理以及Frobenius和Galois型性质
机译:物种和仿函数和类型,哦,我!
机译:在傅里叶-穆凯型函子上。
机译:非加法函数,它们的派生函数和悬挂同态
机译:物种和仿函数和类型,哦,我的