24 citations · 38 across the 4 of their papers we have counts for
1 paper · 1 filter
Aloïs Brunel, Kazushige Terui
We introduce a variant of linear logic with second order quantifiers and type fixpoints, both restricted to purely linear formulas. The Church encodings of binary words are typed b…