Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Noam Zeilberger (noamzoam@mathstodon.xyz)'s status on Monday, 25-Nov-2024 23:35:26 JST Noam Zeilberger

   @tito @julesh @fl Tito has some very interesting work with Cécilia Pradic on the expressivity problem in extensions of simply-typed lambda calculus with a affine/linear/ordered linear implication, see the "Implicit automata in typed λ-calculi" series (https://nguyentito.eu/2023-06-oxford.pdf). One of their exciting results is that in the planar case you can recover exactly the star-free languages (https://en.wikipedia.org/wiki/Star-free_language).