In "announcements"
TypeSig Returns!
TypeSig is officially one year old! We’re celebrating with a brand new URL, an updated...
Welcome to TypeSig!
This is a dedicated space for people to nerd out about semantics, type theory, programming...
In "lean"
TUPLE Conference
TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The...
Advent of Proof
UPDATE: Advent of Proof 2023 has now concluded! Thank you all so much for participating,...
TypeSig Talks: Philip Wadler
Yesterday was another successful TypeSig Talk!
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"
TUPLE Conference
TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The...
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
Yesterday was another successful TypeSig Talk!
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
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
Yesterday was our very first TypeSig Talks event!
In "functional-programming"
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
In "agda"
TUPLE Conference
TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The...
Advent of Proof
UPDATE: Advent of Proof 2023 has now concluded! Thank you all so much for participating,...
In "tuple"
TUPLE Conference
TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The...
In "categories"
TUPLE Conference
TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The...