5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Andrea Asperti, Luca Roversi
This paper is a structured introduction to Light Affine Logic, and to its intuitionistic fragment. Light Affine Logic has a polynomially costing cut elimination (P-Time correctness…