Mathematical Models of Computational and Combinatorial Structures-Reference-Cited by-同舟云学术

Mathematical Models of Computational and Combinatorial Structures

Published:2005 Issue: Volume: Page:25-46
ISSN:0302-9743
Container-title:Foundations of Software Science and Computational Structures
language:
Short-container-title:

Author:

Fiore Marcelo P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31982-5_2.pdf

Reference50 articles.

1. Aczel, P.: Frege structures and the notions of proposition, truth and set. In: The Kleene Symposium, pp. 31–60. North-Holland, Amsterdam (1980)

2. Baez, J., Dolan, J.: Higher-dimensional algebra III: n-categories and the algebra of opetopes. Advances in Mathematics 135, 145–206 (1998)

3. Baez, J., Dolan, J.: From finite sets to Feynman diagrams. In: Engquist, B., Schmid, W. (eds.) Mathematics Unlimited - 2001 and Beyond, pp. 29–50. Springer, Heidelberg (2001)

4. Bergeron, F.: Une combinatoire du pléthysme. Journal of Combinatorial Theory (Series A) 46, 291–305 (1987)

5. Encyclopedia of mathematics and its applications;F. Bergeron,1998

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets;Proceedings of the ACM on Programming Languages;2024-01-05

2. Species, Profunctors and Taylor Expansion Weighted by SMCC;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09

3. Modules over relative monads for syntax and semantics;Mathematical Structures in Computer Science;2014-12-05

4. Substitution, jumps, and algebraic effects;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14

5. A Roadmap for TAMC;Lecture Notes in Computer Science;2014