3 citations · 3 across the 1 of their papers we have counts for
1 paper
D. J. C. Staudt
Left-sequential logics provide a means for reasoning about (closed) propositional terms with atomic propositions that may have side effects and that are evaluated sequentially from…