Type Theory

Details

For February, we're talking about Type Theory. If you have a recommended paper or resource, please share in the comments.

We'll chat about the topic and discuss our own experiences.