32 citations · 41 across the 5 of their papers we have counts for
1 paper · 1 filter
Robert J. Simmons
Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible…