Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 24 results in range #1 to #24.
- Kolmogorov Complexity of Categories: Label: en
- Reasoning about Strategies: Label: en
- Breaking the Atom with Samson: Label: en
- Partial Recursive Functions and Finality: Label: en
- Bicompletions of Distance Matrices: Label: en
- Quantum Field Theory for Legspinners: Label: en
- Techniques for Formal Modelling and Analysis of Quantum Systems: Label: en
- Towards Nominal Abramsky: Label: en
- Anatomy of a Domain of Continuous Random Variables II: Label: en
- Dialogue Categories and Frobenius Monoids: Label: en
- Nothing Can Be Fixed: Label: en
- Presheaf Models of Quantum Computation: An Outline: Label: en
- Continuous Domain Theory in Logical Form: Label: en
- Unfixing the Fixpoint: The Theories of the λY-Calculus: Label: en
- Unifying Semantics for Concurrent Programming: Label: en
- Quantum Speedup and Categorical Distributivity: Label: en
- On the Functor ℓ2: Label: en
- On the Theory of Composition in Physics: Label: en
- Payoffs, Intensionality and Abstraction in Games: Label: en
- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits: Label: en
- The Algebra of Directed Acyclic Graphs: Label: en
- Compositional Quantum Logic: Label: en
- Imperfect Information in Logic and Concurrent Games: Label: en
- Use of a Canonical Hidden-Variable Space in Quantum Mechanics: Label: en
