Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705887
DOI10.1007/b106850zbMath1119.68082OpenAlexW1588712707MaRDI QIDQ5705887
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Related Items
Data Types with Symmetries and Polynomial Functors over Groupoids, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, The linear-non-linear substitution 2-monad, Monoidal indeterminates and categories of possible worlds, On operads, bimodules and analytic functors, Exhaustive generation of atomic combinatorial differential operators, Analytic functors between presheaf categories over groupoids, Unnamed Item, Monoidal Indeterminates and Categories of Possible Worlds