Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705887
DOI10.1007/b106850zbMath1119.68082MaRDI 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
68Q55: Semantics in the theory of computing
Related Items
Unnamed Item, The linear-non-linear substitution 2-monad, On operads, bimodules and analytic functors, Monoidal indeterminates and categories of possible worlds, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Analytic functors between presheaf categories over groupoids, Exhaustive generation of atomic combinatorial differential operators, Monoidal Indeterminates and Categories of Possible Worlds, Data Types with Symmetries and Polynomial Functors over Groupoids