7 citations · 28 across the 17 of their papers we have counts for
1 paper · 2 filters
Luca Roversi
Subatomic systems were recently introduced to identify the structural principles underpinning the normalization of proofs. "Subatomic" means that we can reformulate logical systems…