The following pages link to (Q4222903):
Displaying 11 items.
- Resource modalities in tensor logic (Q636303) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Adjunction models for call-by-push-value with stacks (Q2842825) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- (Q5208904) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Probability monads with submonads of deterministic states (Q6649470) (← links)