Foundations of Software Science and Computational Structures

DOI10.1007/b106850zbMath1119.68082OpenAlexW1588712707MaRDI QIDQ5705887

Marcelo P. Fiore

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (9)

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

This page was built for publication: Foundations of Software Science and Computational Structures