https://felixjhb.com/about/ 2026-04-02T13:39:48+01:00 https://felixjhb.com/papers/ 2026-04-02T13:39:48+01:00 https://felixjhb.com/talks/ 2026-04-02T13:39:48+01:00 https://felixjhb.com/experience/ 2026-04-02T13:39:48+01:00 https://felixjhb.com/ https://felixjhb.com/assets/abstracts/abs_2023_types23.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/abstracts/abs_2024_types24.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/abstracts/abs_2025_types25.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/papers/2023_metatheory_subtype_universes.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/slides/slides_2023_types23.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/slides/slides_2023_wg6.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/slides/slides_2024_rhul.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/slides/slides_2024_types24.pdf 2026-04-02T13:39:42+01:00 https://felixjhb.com/assets/slides/slides_2025_types25.pdf 2026-04-02T13:39:42+01:00