chris martens@chrisamaphone@hci.social
just remembered to post about this slightly old news: a paper i coauthored with @cbaberle@mathstodon.xyz, Karl Crary, and Frank Pfenning was accepted to FSCD:
Substructural Parametricity
https://chrisamaphone.hyperkind.org/papers/fscd25-substructural-parametricity.pdf
the goal of this work is to get stronger "theorems for free"-style reasoning with a general account of substructural logics. e.g. there's only one (canonical) value of the ordered type ∀α. α ↠ α ↠ α • α . we simplify/generalize prior work by parameterizing our logical relation with a resource algebra