The following pages link to Shinichi Yamada (Q1111026):
Displayed 10 items.
- A mathematical theory of randomized computation. I (Q1111027) (← links)
- A mathematical theory of randomized computation. II (Q1114406) (← links)
- The measure-theoretical approach to \(p\)-adic probability theory (Q1301236) (← links)
- (Q2706065) (← links)
- An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine (Q2841304) (← links)
- (Q3757374) (← links)
- (Q4363106) (← links)
- Reflection principles for synthetic theories of smooth manifolds (Q4378768) (← links)
- Characterizations of semantic domains for randomized algorithms (Q4729388) (← links)
- On the Concept of Random Sequence with Respect to <i>p</i>-Adic Valued Probabilities (Q5700616) (← links)