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"
Advent of Proof 2024 Edition!
TypeSig is pleased to announce that Advent of Proof is returning this year! Click here...
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"
Advent of Proof 2024 Edition!
TypeSig is pleased to announce that Advent of Proof is returning this year! Click here...
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"
Advent of Proof 2024 Edition!
TypeSig is pleased to announce that Advent of Proof is returning this year! Click here...
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...