Krivine's Proof of FD, Using Intersection Types

Iowa Type Theory Commute

תוכן מסופק על ידי Aaron Stump. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Aaron Stump או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

5M ago 21:35

MP3•בית הפרקים

Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.

178 פרקים

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Krivine's Proof of FD, Using Intersection Types

Iowa Type Theory Commute

14 subscribers

published 5M ago

שתפו

MP3•בית הפרקים

Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.

178 פרקים

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

כל הפרקים

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.

תקשיבו ל-500+ נושאים

דומה לIowa Type Theory Commute

פודקאסטים ששווה להאזין

Iowa Type Theory Commute « » Krivine's Proof of FD, Using Intersection Types

Krivine's Proof of FD, Using Intersection Types

פודקאסטים ששווה להאזין

ברוכים הבאים אל Player FM!

דומה לIowa Type Theory Commute

מדריך עזר מהיר

Iowa Type Theory Commute « »
Krivine's Proof of FD, Using Intersection Types