The following pages link to Shin-ya Katsumata (Q1652970):
Displayed 41 items.
- A double category theoretic analysis of graded linear exponential comonads (Q1652971) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Relating computational effects by \(\top \top \)-lifting (Q1951584) (← links)
- Architecture-guided test resource allocation via logic (Q2117254) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Path category for free. Open morphisms from coalgebras with non-deterministic branching (Q2289101) (← links)
- (Q2763683) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- Combining effects and coeffects via grading (Q2985796) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories (Q3400945) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Algebraic fusion of functions with an accumulating parameter and its improvement (Q3546049) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Preorders on Monads and Coalgebraic Simulations (Q4910417) (← links)
- (Q4986735) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Stone Dualities from Opfibrations (Q5098723) (← links)
- Interaction Laws of Monads and Comonads (Q5145667) (← links)
- Fibrational bisimulations and quantitative reasoning: Extended version (Q5158369) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- Relational differential dynamic logic (Q5239265) (← links)
- (Q5275349) (← links)
- A semantic account of metric preservation (Q5370888) (← links)
- Computer Science Logic (Q5394571) (← links)
- Parametric effect monads and semantics of effect systems (Q5408455) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431295) (← links)
- Automata, Languages and Programming (Q5466518) (← links)
- Algebraic fusion of functions with an accumulating parameter and its improvement (Q5501470) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900827) (← links)
- (Q6134267) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Control-data separation and logical condition propagation for efficient inference on probabilistic programs (Q6151609) (← links)
- A Coalgebraic View on Reachability (Q6313287) (← links)
- Differentiable Causal Computations via Delayed Trace (Q6314987) (← links)