共 50 条
- [23] Wellfounded trees and dependent polynomial functors TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 210 - 225
- [29] Terminal Coalgebras for Measure-Polynomial Functors THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, 2009, 5532 : 325 - 334
- [30] SPIN POLYNOMIAL FUNCTORS AND REPRESENTATIONS OF SCHUR SUPERALGEBRAS REPRESENTATION THEORY, 2013, 17 : 584 - 609