31 citations · 68 across the 12 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Florian Rabe, Claudio Sacerdoti Coen
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…
cs.LO2024
IMELL Cut Elimination with Linear Overhead
Beniamino Accattoli, Claudio Sacerdoti Coen
Recently, Accattoli introduced the Exponential Substitution Calculus (ESC) given by untyped proof terms for Intuitionistic Multiplicative Exponential Linear Logic (IMELL), endowed…