ohadNov 3

Prove dozens of syntactic substitution lemmata in one fell swoop with an induction principle with only two cases? Check.

Compositionality needs three cases though. :(

Show threadYuri Not IgorNov 5
@ohad where can I read more about this?
Show threadohad
@ydewit I'll post a preprint soon, hopefully this week.
Nov 5 at 7:50amWeb
Show threadohadNov 6
@ydewit There it is: https://denotational.co.uk/publications/fiore-kammar-moser-staton-mast-mfps-2025.pdf