On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL)

First Page		Document Content
Date: 2015-05-05 07:12:16 Complexity classes Proof theory Structural complexity theory Curry–Howard correspondence Type theory NP Time complexity Reduction Linear logic Theoretical computer science Computational complexity theory Applied mathematics		On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL) Add to Reading List Source URL: www.cs.swan.ac.uk Download Document from Source Website File Size: 238,20 KB Share Document on Facebook

	INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds DocID: 1xVj5 - View Document
	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 DocID: 1xUA7 - View Document
	Proof Articles Sharing Proofs Theory Packages DocID: 1vgUI - View Document
	The theory of canonical lifts for abelian varieties (draft version) Chloe Martindale February 10, 2016 These notes are from a talk at Leiden University, of which the aim was to understand Drinfeld’s proof of the Serre- DocID: 1uZwX - View Document
	A00137: Proof of Work as it relates to the theory of the firm. Proof of Work as it relates to the theory of the firm. DocID: 1uTc3 - View Document