بير مارتن لوف (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "بير مارتن لوف" in Arabic language version.

refsWebsite

Global rank Arabic rank

1^st place

low place

6,945^th place

low place

7,299^th place

low place

6,599^th place

7,207^th place

low place

ae-info.org

https://www.ae-info.org/ae/User/Martin-Löf_Per. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
Member profile, الأكاديمية الأوروبية, retrieved 2014-01-26. "نسخة مؤرشفة". مؤرشف من الأصل في 2016-03-11. اطلع عليه بتاريخ 2020-09-12.{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)

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، مؤرشف من الأصل (PDF) في 2022-04-25.

https://www.universiteitleiden.nl/en/about-us/facts-and-figures/laureates. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)

Peter Dybjer on types and testing – The Type Theory Podcast نسخة محفوظة 2020-05-17 على موقع واي باك مشين.
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، مؤرشف من الأصل (PDF) في 2022-04-25.
Member profile, الأكاديمية الأوروبية, retrieved 2014-01-26. "نسخة مؤرشفة". مؤرشف من الأصل في 2016-03-11. اطلع عليه بتاريخ 2020-09-12.{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)

أندرس مارتن ^{[الإنجليزية]}. 1963. "Utvärdering av livslängder i subnanosekundsområdet" ("Evaluation of lifetimes in time-lengths below one nanosecond"). ("Sundberg formula")