Announcement_1
Our article “Polymorphic lambda calculus with context-free session types”, has been accepted at Information and Computation.
Our article “Polymorphic lambda calculus with context-free session types”, has been accepted at Information and Computation.