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 Igor
@ohad where can I read more about this?
Nov 5 at 7:48amMastodon for iOS
Show threadohadNov 5
@ydewit I'll post a preprint soon, hopefully this week.
Show threadohadNov 6
@ydewit There it is: https://denotational.co.uk/publications/fiore-kammar-moser-staton-mast-mfps-2025.pdf