Pages that link to "Item:Q5283430"
From MaRDI portal
The following pages link to Adjoint Logic with a 2-Category of Modes (Q5283430):
Displaying 8 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
- Back to futures (Q5063251) (← links)
- (Q5111322) (← links)
- (Q5155672) (← links)
- (Q6068934) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Modal crash types for intermittent computing (Q6535235) (← links)
