9 citations · 37 across the 32 of their papers we have counts for
1 paper · 2 filters
Paul Tarau, Valeria de Paiva
The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for l…