Author:
Fiore Marcelo,Leinster Tom
Reference8 articles.
1. Seven trees in one;Blass;J. Pure Appl. Algebra,1995
2. M. Fiore, Isomorphisms of generic recursive polynomial types, Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, 2004, pp. 77–88.
3. M. Fiore, T. Leinster, An objective representation of the Gaussian integers, J. Symbolic Comput., in press.
4. On the generic solution to P(X)≅ X in distributive categories;Gates;J. Pure Appl. Algebra,1998
5. On the structure of semigroups;Green;Ann. Math,1951
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On analytic groupoid cardinality;European Journal of Mathematics;2022-06-13
2. Algebra of Trees;Towards a General Theory of Classifications;2013
3. The Hecke Bicategory;Axioms;2012-10-09
4. A general theory of self-similarity;Advances in Mathematics;2011-03
5. Constructing Polymorphic Programs with Quotient Types;Lecture Notes in Computer Science;2004