Per Martin-Löf (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Per Martin-Löf" in English language version.

refsWebsite
Global rank English rank
2nd place
2nd place
26th place
20th place
9th place
13th place
low place
low place
6,599th place
low place
3,805th place
3,371st place
1st place
1st place
low place
low place
5,218th place
9,258th place
3rd place
3rd place
774th place
716th place
451st place
277th place
low place
low place

ae-info.org

ams.org

mathscinet.ams.org

books.google.com

doi.org

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 (PDF), Oxford University Press.

jstor.org

kva.se

  • "Per Martin-Løf". Members. The Royal Swedish Academy of Sciences. Retrieved 2024-04-12.

newscientist.com

nodak.edu

genealogy.math.ndsu.nodak.edu

typetheorypodcast.com

uu.se

www2.math.uu.se

web.archive.org

youtube.com