19 citations · 19 across the 1 of their papers we have counts for
1 paper
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
Display calculi are generalized sequent calculi which enjoy a `canonical' cut elimination strategy. That is, their cut elimination is uniformly obtained by verifying the assumption…