In "announcements"
![Welcome to TypeSig!](/assets/images/post-headers/typesig-phil.jpg)
Welcome to TypeSig!
This is a dedicated space for people to nerd out about semantics, type theory, programming...
In "lean"
![Advent of Proof](/assets/images/post-headers/aop.png)
Advent of Proof
UPDATE: Advent of Proof 2023 has now concluded! Thank you all so much for participating,...
![TypeSig Talks: Philip Wadler](/assets/images/post-headers/2023-11-21-phil-talk.png)
TypeSig Talks: Philip Wadler
Yesterday was another successful TypeSig Talk!
![Kevin Buzzard Lecture](/assets/images/post-headers/kevin-buzzard-talk.png)
Kevin Buzzard Lecture
Yesterday was the Annual Lecture for Mathematics Students, which we co-hosted wih the School of...
Weekly Lean Hacking with MathsSoc
We’ve collaborated with MathsSoc to bring you our first regular event: weekly hacking with the...
In "events"
![Advent of Proof](/assets/images/post-headers/aop.png)
Advent of Proof
UPDATE: Advent of Proof 2023 has now concluded! Thank you all so much for participating,...
Weekly Lean Hacking with MathsSoc
We’ve collaborated with MathsSoc to bring you our first regular event: weekly hacking with the...
In "talks"
![TypeSig Talks: Philip Wadler](/assets/images/post-headers/2023-11-21-phil-talk.png)
TypeSig Talks: Philip Wadler
Yesterday was another successful TypeSig Talk!
![TypeSig Talks: Anton Lorenzen and John Baez](/assets/images/post-headers/john-baez-typesig-talk.png)
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
![Kevin Buzzard Lecture](/assets/images/post-headers/kevin-buzzard-talk.png)
Kevin Buzzard Lecture
Yesterday was the Annual Lecture for Mathematics Students, which we co-hosted wih the School of...
In "category-theory"
![TypeSig Talks: Anton Lorenzen and John Baez](/assets/images/post-headers/john-baez-typesig-talk.png)
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
In "functional-programming"
![TypeSig Talks: Anton Lorenzen and John Baez](/assets/images/post-headers/john-baez-typesig-talk.png)
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
In "agda"
![Advent of Proof](/assets/images/post-headers/aop.png)
Advent of Proof
UPDATE: Advent of Proof 2023 has now concluded! Thank you all so much for participating,...