Pages that link to "Item:Q2709784"
From MaRDI portal
The following pages link to Mathematical Structures in Computer Science (Q2709784):
Displaying 24 items.
- A judgmental reconstruction of modal logic (Q2746757) (← links)
- Algorithmic thermodynamics (Q2919939) (← links)
- A note on accelerated Turing machines (Q3061156) (← links)
- Continuous-time quantum walks on the threshold network model (Q3061162) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Provenance as dependency analysis (Q3103615) (← links)
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- Channel abstractions for network security (Q3550700) (← links)
- Turing universality of the Biochemical Ground Form (Q3550701) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- Functions as processes (Q4017458) (← links)
- Wheels on division by zero (Q4463992) (← links)
- Universal aspects of probabilistic automata (Q4792945) (← links)
- Equational properties of mobile ambients (Q4814186) (← links)
- Strong normalization with non-structural subtyping (Q4862765) (← links)
- Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (Q4882489) (← links)
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting (Q5269005) (← links)
- Decoherence in quantum walks – a review (Q5437029) (← links)
- Classically controlled quantum computation (Q5482261) (← links)
- A categorical quantum logic (Q5482271) (← links)
- A quantum random number generator certified by value indefiniteness (Q5740359) (← links)
- Introduction – from type theory and homotopy theory to univalent foundations (Q5740647) (← links)
- Univalent categories and the Rezk completion (Q5740648) (← links)
- Wadge hardness in Scott spaces and its effectivization (Q5740667) (← links)
