Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural lang - University of Bologna - Document - PDFSEARCH.IO

First Page	Meta Content
	Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural lang Add to Reading List Document Date: 2008-10-31 05:51:56 Open Document File Size: 205,54 KB Share Result on Facebook Currency pence / / / Facility University of Bologna / / Organization Department of Computer Science / University of Bologna / / Person Claudio Sacerdoti Coen / / Position Prime Minister / Matita proof assistant / proof assistant / Coq proof assistant / / Product HTC HD2 Smartphone / / SocialTag Proof theory Entailment Symbol Structure Logic Deduction Natural deduction

Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural langAdd to Reading List