Jules Chouquet launched two new working groups: Λ about λ-calculi and LL about linear logic. They meet weekly.
Languages, Models and Verification
Jules Chouquet launched two new working groups: Λ about λ-calculi and LL about linear logic. They meet weekly.