Shinichi Yamada

Available identifiers

zbMath Open yamada.shinichiMaRDI QIDQ1111026

List of research outcomes

Publication	Date of Publication	Type
An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine	2013-07-24	Paper
On the Concept of Random Sequence with Respect to p-Adic Valued Probabilities	2005-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q2706065	2001-03-20	Paper
Reflection principles for synthetic theories of smooth manifolds	2000-05-02	Paper
The measure-theoretical approach to \(p\)-adic probability theory	1999-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4363106	1998-02-17	Paper
Characterizations of semantic domains for randomized algorithms	1989-01-01	Paper
A mathematical theory of randomized computation. I	1988-01-01	Paper
A mathematical theory of randomized computation. II	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3757374	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shinichi Yamada