scientific article; zbMATH DE number 7533357
From MaRDI portal
DOI10.4230/LIPIcs.CSL.2018.32MaRDI QIDQ5079757
Publication date: 28 May 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A mathematical theory of resources
- The resource theory of informational nonequilibrium in thermodynamics
- Linear logic
- Coherence for compact closed categories
- The differential lambda-calculus
- Elements of a theory of algebraic theories
- Polycategories via pseudo-distributive laws
- The geometry of iterated loop spaces
- Quantitative Concept Analysis
- Isomorphisms of generic recursive polynomial types
- Some reasons for generalising domain theory
- Metric spaces, generalized logic, and closed categories
- Polycategories
- The theory of manipulations of pure state asymmetry: I. Basic tools, equivalence classes and single copy transformations
- Compositional Game Theory
- On closed categories of functors
- Foundations of Software Science and Computational Structures