Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 8 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01197456v2 Rapport Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Long version) [Research Report] ENS Lyon. 2015
	hal-00798298v1 Communication dans un congrès Patrick Baillot, Ugo Dal Lago. Higher-Order Interpretations and Program Complexity Patrick Cegielski and Arnaud Durand. 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. Schloss Dagstuhl, 16, pp.62-76, 2012, LIPIcs. <10.4230/LIPIcs.CSL.2012.62>
	hal-01284117v1 Communication dans un congrès Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20), Nov 2015, Suva, Fiji
	hal-00667816v1 Pré-publication, Document de travail Patrick Baillot, Ugo Dal Lago. Higher-order Interpretations and Program Complexity (Long Version) 21 pages. 2012
	hal-01337728v1 Article dans une revue Patrick Baillot, Ugo Dal Lago. Higher-order interpretations and program complexity Information and Computation, Elsevier, 2016, <10.1016/j.ic.2015.12.008>
	hal-00798315v1 Article dans une revue Patrick Baillot, Paolo Coppola, Ugo Dal Lago. Light logics and optimal reduction: Completeness and complexity Information and Computation, Elsevier, 2011, 209 (2), pp.118-142. <10.1016/j.ic.2010.10.002>
	hal-00443944v1 Communication dans un congrès Patrick Baillot, Marco Gaboardi, Virgile Mogbil. A PolyTime Functional Language from Light Linear Logic Andrew D. Gordon. 19th European Symposium on Programming (ESOP 2010), Mar 2010, Paphos, Cyprus. Springer Berlin / Heidelberg, 6012 (6012), pp. 104-124, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-11957-6>
	hal-00798377v1 Article dans une revue Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen. On quasi-interpretations, blind abstractions and implicit complexity. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp.549-580. <10.1017/S0960129511000685>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 8 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM