https://paigenorth.github.io/teaching/logic-seminar-2025.html https://paigenorth.github.io/CLAUDE.html https://paigenorth.github.io/midwest/ https://paigenorth.github.io/ https://paigenorth.github.io/cosc.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/directedhott.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/displayccc.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/enriched-curry-howard-lambek.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ep.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/fics.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/grst-15-sep-20.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/hottest.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/hottseminar/ 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/hsip-lics.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/lics.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/love.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/nantes.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/old-index.html 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ottawa.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ross/hw_1.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ross/hw_2.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ross/ 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ross_lecture_notes.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/aarhus.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/amsterdam.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/asl.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/birmingham.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/bonn.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/bro.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/cas.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/catmi23.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/chocola.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/cmcs.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/cmu.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/control-theory.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/cornell-6-may.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/cscs.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/ct-10-jul-18.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/ct.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/edinburgh.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/fics.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/fsu.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/fuzzy-type-theory.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/hottest.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/hottest2024.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/hottuf19.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/informal-formalization.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/irif-dec-23.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/irif-july-23.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/itp.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/jmm.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/lcs-1.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/lcs-2.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/lcs-3.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/leeds.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/lics.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/lmu.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/mfps.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/mpi.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/nantes-14-dec-22.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/ncm.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/oon.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/osuams.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/paris13-1-dec-22.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/penn.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/philosophy.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/pizza.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/stockholm.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/topos.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/types.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/types23.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/umich.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/utrecht-7-feb.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/talks/utrecht.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/topos.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/tue-uu-project.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/ur.pdf 2026-07-23T15:32:12+00:00 https://paigenorth.github.io/utrecht-7-feb.pdf 2026-07-23T15:32:12+00:00