5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2017
Automatic verification and interactive theorem proving
Andrea Asperti
Automatic verification deals with the validation by means of computers of correctness certificates. The related tools, usually called proof assistants or interactive provers, provi…
cs.LO2012★ 5 cited
A Web Interface for Matita
Andrea Asperti, Wilmer Ricciotti
This article describes a prototype implementation of a web interface for the Matita proof assistant. The interface supports all basic functionalities of the local Gtk interface, bu…
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…