Home

Recent Blog Posts

A comic panel by American cartoonist Sidney Harris. Two mathematicians examine a blackboard with a single equation on it: 2x * 2 = 4x. One mathematician says, “But Gershon, you can't call it Gershon's Equation if everyone has known it for ages.”

The Law of the Unconscious Statistician

As a teenager, I played around with numbers and code when I should have been studying. This led me to questions that I only had the tools to answer many years later.

8/10/2026
Felix Bradley

Recent Talks

Weak Equality Reflection in MLTT with Propositional Truncation

09/07/2025 - 13/07/2025
Felix BradleyZhaohui Luo
Presented at TYPES 2025 in Glasgow, Scotland
ext. abstractslides
#type theory#coercive subtyping#natural language semantics#propositional truncation#homotopy type theory

Representing Temporal Operators with Dependent Event Types

10/07/2024 - 14/07/2024
Felix BradleyZhaohui Luo
Presented at TYPES 2024 in Copenhagen, Denmark
ext. abstractslides
#type theory#coercive subtyping#natural language semantics#dependent event types

Recent Papers

A Metatheoretic Analysis of Subtype Universes

28/07/2023
Felix BradleyZhaohui Luo
Published in Post-proceedings of TYPES 2022 in Leibniz International Proceedings in Informatics
paperdoierrata
#type theory#coercive subtyping#subtype universes