Bifinite Chu Spaces
From MaRDI portal
Publication:5901471
DOI10.1007/978-3-540-73859-6_13zbMath1214.68206OpenAlexW1830996555MaRDI QIDQ5901471
No author found.
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_13
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Coalgebras, Chu spaces, and representations of physical systems ⋮ Big toy models. Representing physical systems as Chu spaces ⋮ A Monoidal Category of Bifinite Chu Spaces ⋮ Bifinite Chu Spaces