A Deep Inference System for Differential Linear Logic

Matteo Acclavio, Giulio Guerrieri

Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference for…