Iowa Type Theory Commute

שתפו
 

Manage series 2823367
על ידי Aaron Stump התגלה על ידי Player FM והקהילה שלנו - זכויות היוצרים שמורות למפרסם, לא ל-Player FM, והשמע מוזרם ישירות מהשרתים שלכם. הירשמו כדי לעקוב אחר עדכונים ב-Player FM, או הדביקו את כתובת העדכונים באפליקציות פודקאסט אחרות.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

114 פרקים