43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
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…