Segal condition meets computational effects
type: Distribution
access URL: https://hal.science/hal-00702065
format: HTML
issued: 2026-05-16T19:09:07.402597
modified: 2026-05-16T19:09:07.307598

Segal condition meets computational effects
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: monads-with-arities
keyword: algebraic-theories
keyword: segal-condition
keyword: higher-dimensional-algebra
keyword: infoeu-reposemanticsconferenceobject
keyword: finitary-monads
keyword: state-monad
keyword: conference-papers
keyword: nerve-functor
keyword: computational-effects
keyword: lawvere-theories
landing page: Proceedings of the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science
description: International audience
issued: 2026-05-16T19:09:07.372369
language: en
modified: 2026-05-16T19:09:07.372385

test_moissonnage_selune
type: Agent