The following pages link to Shinya Sato (Q2798261):
Displaying 11 items.
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine (Q2841304) (← links)
- A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine (Q2864502) (← links)
- Interaction Nets With Nested Pattern Matching (Q2870316) (← links)
- (Q4817287) (← links)
- (Q5013814) (← links)
- (Q5015373) (← links)
- Compilation of Interaction Nets (Q5170282) (← links)
- (Q5475498) (← links)
- Additivity violation of quantum channels via strong convergence to semi-circular and circular elements (Q6063739) (← links)
- Higher-order asymptotic profiles of solutions to the Cauchy problem for the convection-diffusion equation with variable diffusion (Q6532918) (← links)
