The following pages link to Naohiko Hoshino (Q345710):
Displaying 9 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Partial traces on additive categories (Q2134829) (← links)
- Memoryful geometry of Interaction II: recursion and adequacy (Q2828318) (← links)
- Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (Q2986814) (← links)
- A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (Q3000618) (← links)
- A Representation Theorem for Unique Decomposition Categories (Q3178284) (← links)
- Linear Realizability (Q3608428) (← links)
- Memoryful geometry of interaction (Q4635637) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
