activity
20002022
most citedExtending a system in the calculus of structures with a self-dual quantifier

7 citations · 28 across the 17 of their papers we have counts for

collaborators
Showing 2000Show all

1 paper · 1 filter

cs.LO2000

Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)

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…