Posts tagged with pl-theory

2023 Oct 23 · Path induction: a GADT perspective