ペール・マルティン＝レーフ (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "ペール・マルティン＝レーフ" in Japanese language version.

refsWebsite

Global rank Japanese rank

2web.archive.org

1^st place

2jstor.org

26^th place

275^th place

1youtube.com

9^th place

8^th place

1typetheorypodcast.com

low place

1ens-lyon.fr

6,599^th place

low place

1uu.se

3,805^th place

low place

1ae-info.org

low place

1doi.org

2^nd place

6^th place

1books.google.com

3^rd place

61^st place

1newscientist.com

774^th place

1,286^th place

1ams.org

451^st place

1,252^nd place

1kva.se

low place

1uio.no

2,613^th place

7,893^rd place

ae-info.org

Member profile, Academia Europaea, retrieved 2014-01-26.

ams.org

mathscinet.ams.org

Dempster, A.P.; Laird, N.M.; Rubin, D.B. (1977). “Maximum Likelihood from Incomplete Data via the EM Algorithm”. Journal of the Royal Statistical Society, Series B 39 (1): 1–38. JSTOR 2984875. MR 0501537.

books.google.com

Jean-Paul Delahaye, Randomness, Unpredictability and Absence of Order, in Philosophy of Probability, p. 145–167, Springer 1993.

doi.org

Per Martin-Löf (1966). “The definition of random sequences”. Information and Control (journal) 9 (6): 602–619. doi:10.1016/S0019-9958(66)80018-9.

ens-lyon.fr

See e.g. Nordström, Bengt; Petersson, Kent; Smith, Jan M. (1990), Programming in Martin-Löf 's Type Theory: An Introduction, Oxford University Press .

jstor.org

S. M. Taylor (1966). “Recent Quantitative Work on British Bird Populations. A Review”. Journal of the Royal Statistical Society, Series D 16 (=No. 2): 119–170. JSTOR 2986734.
Dempster, A.P.; Laird, N.M.; Rubin, D.B. (1977). “Maximum Likelihood from Incomplete Data via the EM Algorithm”. Journal of the Royal Statistical Society, Series B 39 (1): 1–38. JSTOR 2984875. MR 0501537.

kva.se

“The Royal Swedish Academy of Sciences: Per Martin-Löf”. 2009年5月1日閲覧。 ^{[リンク切れ]}

newscientist.com

George A. Barnard, "Gone Birdwatching", New Scientist, 4 December 1999, magazine issue 2215.

typetheorypodcast.com

Peter Dybjer on types and testing – The Type Theory Podcast

uio.no

hf.uio.no

Per Martin-Löf, "On the meanings of the logical constants and the justifications of the logical laws Archived 2006年1月4日, at the Wayback Machine.", Atti degli Incontri di Logica Matematica, Vol.2, 1985, pp. 203-281; Reprinted in Nordic Journal of Philosophical Logic, Vol.1, 1996, pp. 11-60.

uu.se

www2.math.uu.se

Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects. A conference dedicated to Per Martin-Löf on the occasion of his retirement Archived 2014-02-02 at the Wayback Machine.. Swedish Collegium for Advanced Study, Uppsala, May 5–8, 2009. Retrieved 2014-01-26.

web.archive.org

Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects. A conference dedicated to Per Martin-Löf on the occasion of his retirement Archived 2014-02-02 at the Wayback Machine.. Swedish Collegium for Advanced Study, Uppsala, May 5–8, 2009. Retrieved 2014-01-26.
Per Martin-Löf, "On the meanings of the logical constants and the justifications of the logical laws Archived 2006年1月4日, at the Wayback Machine.", Atti degli Incontri di Logica Matematica, Vol.2, 1985, pp. 203-281; Reprinted in Nordic Journal of Philosophical Logic, Vol.1, 1996, pp. 11-60.

youtube.com

Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)