The following pages link to Masahito Hasegawa (Q1769598):
Displayed 34 items.
- The uniformity principle on traced monoidal categories (Q1769599) (← links)
- Axioms for recursion in call-by-value (Q1870494) (← links)
- (Q2769433) (← links)
- The Uniformity Principle on Traced Monoidal Categories (Q2842820) (← links)
- (Q2847359) (← links)
- A quantum double construction in Rel (Q2909732) (← links)
- (Q3024908) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories (Q3400945) (← links)
- (Q3413926) (← links)
- A Terminating and Confluent Linear Lambda Calculus (Q3527292) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- (Q3633216) (← links)
- Small-step and big-step semantics for call-by-need (Q3648355) (← links)
- (Q4218924) (← links)
- (Q4263871) (← links)
- (Q4364401) (← links)
- (Q4409158) (← links)
- (Q4411841) (← links)
- (Q4457457) (← links)
- (Q4555337) (← links)
- Classical linear logic of implications (Q4675771) (← links)
- (Q4681366) (← links)
- (Q4936346) (← links)
- Girard translation and logical predicates (Q4948036) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- (Q5018485) (← links)
- Decomposing typed lambda calculus into a couple of categorical programming languages (Q5057475) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
- Functional and Logic Programming (Q5308024) (← links)
- Relational Parametricity and Control (Q5310662) (← links)
- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories (Q5452187) (← links)
- Traced Monads and Hopf Monads (Q6083168) (← links)
- (Q6201705) (← links)