Type Theory Study Group

Welcome to our type theory study group. We're an online group interested in talking about types and their applications to logic, mathematics, and computer science.

This group is a beginner-friendly place to learn type theory, but we're just getting started. If it looks more like a construction site than an onramp right now, stay tuned! We'll get started in a month or so.

Next meeting: Saturday, Dec 12 at 16:30 EST, 21:30 GMT
Material: Ch 3 and 4 of PFPL
Hosts: Mark Farrell and Danny Gratzer


Affichage de 1-21 sujets sur 47
Meeting 3 Danny Gratzer 12/12/15
Possible topic for focused study and discussion Matt Oliveri 03/08/16
A Revised Proposal for the Objective and Agenda of the Study Group Mark Farrell 24/04/16
alternative foundations of mathamatics Hendrik Boom 22/04/16
Coinductive Big-Step Semantics Matt Oliveri 31/01/16
Meeting 4: 30.01.2016 Ilan Godik 31/01/16
Why learn type theory? Craig Stuntz 20/01/16
Organization of Meeting #4: Dynamics and Type Safety Ilan Godik 14/01/16
contextual / structural dynamics vs operational semantics? Craig Stuntz 12/01/16
Meeting #4: Dynamics and Type Safety? Mark Farrell 09/01/16
Re: [Type Theory] Digest for type-theory...@googlegroups.com - 5 updates in 1 topic Shon Feder 08/01/16
Introduction to Higher Type Theory - Daniel Licata's PhD Thesis Mark Farrell 05/01/16
newb corner Alex Moore - Niemi 25/12/15
Is type theory not a mathematical theory? Gary Fixler 18/12/15
Interesting tool: Shared PDF annotations Craig Stuntz 16/12/15
Discussion group Joseph Abrahamson 13/12/15
Discussion Leader Interest Survey Mark Farrell 12/12/15
Meeting #3: Chapter 3 of PFPL? Mark Farrell 08/12/15
Benjamin C. Pierce books? Gary Fixler 04/12/15
Paper of the Week? Mark Farrell 04/12/15
Conferences and Events Mark Farrell 04/12/15
Plus de sujets »