17 citations · 64 across the 12 of their papers we have counts for
1 paper · 1 filter
Marco Mantovani, Alberto Momigliano
We propose to extend property-based testing to substructural logics to overcome the current lack of reasoning tools in the field. We take the first step by implementing a property-…