Tags on Elliot's Bloghttps://ebobrow.github.io/tags/Recent content in Tags on Elliot's BlogHugoen-usSat, 25 Apr 2026 12:40:59 -0700Category Theoryhttps://ebobrow.github.io/tags/category-theory/Sat, 25 Apr 2026 12:40:59 -0700https://ebobrow.github.io/tags/category-theory/Type Theoryhttps://ebobrow.github.io/tags/type-theory/Sat, 25 Apr 2026 12:40:59 -0700https://ebobrow.github.io/tags/type-theory/PLshttps://ebobrow.github.io/tags/pls/Wed, 08 Apr 2026 09:54:44 -0700https://ebobrow.github.io/tags/pls/ATPshttps://ebobrow.github.io/tags/atps/Wed, 21 May 2025 08:20:28 -0700https://ebobrow.github.io/tags/atps/