Pedro Abreu द्वारा प्रदान की गई सामग्री. एपिसोड, ग्राफिक्स और पॉडकास्ट विवरण सहित सभी पॉडकास्ट सामग्री Pedro Abreu या उनके पॉडकास्ट प्लेटफ़ॉर्म पार्टनर द्वारा सीधे अपलोड और प्रदान की जाती है। यदि आपको लगता है कि कोई आपकी अनुमति के बिना आपके कॉपीराइट किए गए कार्य का उपयोग कर रहा है, तो आप यहां बताई गई प्रक्रिया का पालन कर सकते हैं https://hi.player.fm/legal।

Type Theory Forall « »
#24 The History of Isabelle - Lawrence Paulson

2y ago 1:38:02

साझा करें

MP3•एपिसोड होम

In this episode we interview Lawrence Paulson, one of the creating fathers of Isabelle.

We talk about the development process, how it drew inspirations and ideas from LCF and Boyer Moore. What tools were used, it’s strenghts and weaknesses, and all about the historical context at the time! We also briefly talk about his formalization of the Gödel's Incompletenes theorems in Isabelle

Paulson have quite an extensive CV, he is a professor at Cambridge, have published more than 100 papers, is an ACM fellow since 2008, is a member of the royal society since 2017, among many other things!

Links

82 एपिसोडस

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

همه قسمت ها

प्लेयर एफएम में आपका स्वागत है!

प्लेयर एफएम वेब को स्कैन कर रहा है उच्च गुणवत्ता वाले पॉडकास्ट आप के आनंद लेंने के लिए अभी। यह सबसे अच्छा पॉडकास्ट एप्प है और यह Android, iPhone और वेब पर काम करता है। उपकरणों में सदस्यता को सिंक करने के लिए साइनअप करें।

500+ विषयों को सुनो

समान Type Theory Forall

पॉडकास्ट सुनने लायक

Type Theory Forall « » #24 The History of Isabelle - Lawrence Paulson

Links

#24 The History of Isabelle - Lawrence Paulson

Links

पॉडकास्ट सुनने लायक

प्लेयर एफएम में आपका स्वागत है!

समान Type Theory Forall

त्वरित संदर्भ मार्गदर्शिका

Type Theory Forall « »
#24 The History of Isabelle - Lawrence Paulson