@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2016.bib -c 'lixequipe : "Parsifal"' -c year=2016 master.bib}}
@article{accattoli16lmcs, title = {{(Leftmost-outermost) beta reduction is invariant, indeed}}, author = {Beniamino Accattoli and Ugo Dal Lago}, url = {https://hal.inria.fr/hal-01337712}, journal = {{Logical Methods in Computer Science}}, publisher = {{Logical Methods in Computer Science Association}}, year = {2016}, doi = {10.2168/LMCS-12(1:4)2016}, keywords = {sharing ; standardization ; lambda calculus ; cost models ; linear logic ; invariance ; operational semantics LOGICAL METHODS}, pdf = {https://hal.inria.fr/hal-01337712/file/lmcs2016.pdf}, hal_id = {hal-01337712}, hal_version = {v1}, lixequipe = {Parsifal} }
@inproceedings{blanco15iwil, author = {Roberto Blanco and Tomer Libal and Dale Miller}, title = {Defining the meaning of {TPTP} formatted proofs}, url = {http://www.eprover.org/EVENTS/IWIL-2015.html}, booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics}, editor = {Boris Konev and Stephan Schulz and Laurent Simon}, series = {EPiC Series in Computing}, volume = {40}, pages = {78--90}, year = {2016}, publisher = {EasyChair}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-international-audience = {yes}, x-proceedings = {yes} }
@unpublished{brocknannestad16tr, title = {{An Intuitionistic Formula Hierarchy Based on High-School Identities}}, author = {Taus Brock-Nannestad and Danko Ilik}, url = {https://hal.inria.fr/hal-01354181}, note = {working paper or preprint}, year = {2016}, month = aug, pdf = {https://hal.inria.fr/hal-01354181/file/high-school.pdf}, hal_id = {hal-01354181}, hal_version = {v1}, lixequipe = {Parsifal} }
@inproceedings{chaudhuri16fossacs, author = {Kaustuv Chaudhuri and Sonia Marin and Lutz Stra{\ss}burger}, title = {Focused and Synthetic Nested Sequents}, booktitle = {Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)}, year = {2016}, editor = {Bart Jacobs and Christof L{\"o}ding}, month = apr, url = {http://chaudhuri.info/papers/draft15focnest.pdf}, doi = {10.1007/978-3-662-49630-5\_23}, series = {LNCS}, volume = {9634}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-international-audience = {yes}, x-editorial-board = {yes}, x-proceedings = {yes} }
@inproceedings{chaudhuri16fscd, title = {{Modular Focused Proof Systems for Intuitionistic Modal Logics}}, author = {Kaustuv Chaudhuri and Sonia Marin and Lutz Stra{\ss}burger}, url = {https://hal.inria.fr/hal-01417603}, booktitle = {{FSCD 2016 - 1st International Conference on Formal Structures for Computation and Deduction}}, address = {Porto, Portugal}, year = {2016}, month = jun, doi = {10.4230/LIPIcs.FSCD.2016.16}, keywords = {intuitionistic modal logic ; focusing ; proof search ; cut elimination ; nested sequents}, hal_id = {hal-01417603}, hal_version = {v1}, lixequipe = {Parsifal} }
@article{chaudhuri16jlc, author = {Kaustuv Chaudhuri and Stefan Hetzl and Dale Miller}, title = {A Multi-Focused Proof System Isomorphic to Expansion Proofs}, journal = {J. of Logic and Computation}, publisher = {Oxford University Press}, year = {2016}, volume = {26}, number = {2}, pages = {577--603}, doi = {10.1093/logcom/exu030}, pdf = {http://hal.inria.fr/hal-00937056/PDF/lkfexp.pdf}, lixcategorie = {RI}, lixequipe = {Parsifal}, x-international-audience = {yes}, x-editorial-board = {yes}, url = {http://hal.inria.fr/hal-00937056}, x-id-hal = {hal-00937056}, x-type = {article}, x-support = {revue}, x-pays = {AT} }
@techreport{chaudhuri16tr, title = {{Focused and Synthetic Nested Sequents (Extended Technical Report)}}, author = {Kaustuv Chaudhuri and Sonia Marin and Lutz Stra{\ss}burger}, url = {https://hal.inria.fr/hal-01251722}, type = {Research Report}, institution = {{Inria}}, year = {2016}, month = apr, pdf = {https://hal.inria.fr/hal-01251722/file/focused-nested.pdf}, hal_id = {hal-01251722}, hal_version = {v2}, lixequipe = {Parsifal} }
@inproceedings{chihani16lfsa, title = {Proof Certificates for Equality Reasoning}, author = {Zakaria Chihani and Dale Miller}, booktitle = {Post-proceedings of LSFA 2015: 10th Workshop on Logical and Semantic Frameworks, with Applications. Natal, Brazil.}, editor = {Mario Benevides and Ren\'e Thiemann}, publisher = {Elsevier}, series = {ENTCS}, number = {323}, year = {2016}, pages = {93--108}, doi = {10.1016/j.entcs.2016.06.007}, lixcategorie = {CIA}, lixequipe = {Parsifal}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-cle-support = {LFSA}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, x-invited-conference = {no}, x-scientific-popularization = {no} }
@techreport{chihani16tr, title = {{Classical polarizations yield double-negation translations}}, author = {Zakaria Chihani and Danko Ilik and Dale Miller}, url = {https://hal.inria.fr/hal-01354298}, institution = {Inria Saclay}, year = {2016}, month = aug, pdf = {https://hal.inria.fr/hal-01354298/file/main.pdf}, hal_id = {hal-01354298}, hal_version = {v1}, lixequipe = {Parsifal} }
@article{gazeau16tcs, author = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi}, title = {Preserving differential privacy under finite-precision semantics}, journal = {Theoretical Computer Science}, year = {2016}, doi = {10.1016/j.tcs.2016.01.015}, pages = {92--108}, volume = {655}, lixcategorie = {RI}, lixequipe = {Parsifal} }
@article{heijltjes16mscs, title = {{Proof nets and semi-star-autonomous categories}}, author = {Willem Heijltjes and Lutz Stra{\ss}burger}, url = {https://hal.inria.fr/hal-01417643}, journal = {{Mathematical Structures in Computer Science}}, publisher = {{Cambridge University Press (CUP)}}, volume = {26}, number = {5}, pages = {789--828}, year = {2016}, month = jun, doi = {10.1017/S0960129514000395}, hal_id = {hal-01417643}, hal_version = {v1}, lixequipe = {Parsifal} }
@unpublished{ilik16tra, title = {{On the exp-log normal form of types}}, author = {Danko Ilik}, url = {https://hal.inria.fr/hal-01167162}, note = {working paper or preprint}, year = {2016}, month = aug, keywords = {type isomorphism ; sum types ; lambda calculus}, pdf = {https://hal.inria.fr/hal-01167162/file/explog.pdf}, hal_id = {hal-01167162}, hal_version = {v2}, lixequipe = {Parsifal} }
@unpublished{ilik16trb, title = {{Perspectives for proof unwinding by programming languages techniques}}, author = {Danko Ilik}, url = {https://hal.inria.fr/hal-01354180}, note = {working paper or preprint}, year = {2016}, month = aug, pdf = {https://hal.inria.fr/hal-01354180/file/KGS-book-chapter-danko.pdf}, hal_id = {hal-01354180}, hal_version = {v1}, lixequipe = {Parsifal} }
@inproceedings{libal16fscd, author = {Tomer Libal and Dale Miller}, title = {Functions-as-constructors Higher-order Unification}, booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)}, year = {2016}, editor = {D. Kesner and B. Pientka}, pages = {26:1–26:17}, doi = {10.4230/LIPIcs.FSCD.2016.0}, isbn = {978-3-9597701-0-1}, pdf = {https://hal.inria.fr/hal-01379683/file/fscd16.pdf}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-editorial-board = {yes}, x-international-audience = {yes}, x-proceedings = {yes} }
@inproceedings{libal16gandalf, title = {{Certification of Prefixed Tableau Proofs for Modal Logic}}, author = {Tomer Libal and Marco Volpe}, url = {https://hal.archives-ouvertes.fr/hal-01379625}, booktitle = {{the Seventh International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016)}}, address = {Catania, Italy}, series = {EPTCS}, number = {226}, pages = {257--271}, year = {2016}, month = sep, doi = {10.4204/EPTCS.226.18}, pdf = {https://hal.archives-ouvertes.fr/hal-01379625/file/LibVol-GandALF16.pdf}, hal_id = {hal-01379625}, hal_version = {v1}, lixequipe = {Parsifal} }
@inproceedings{marin16aiml, author = {Sonia Marin and Dale Miller and Marco Volpe}, title = {A focused framework for emulating modal proof systems}, url = {https://hal.archives-ouvertes.fr/hal-01379624}, booktitle = {{11th Conference on Advances in Modal Logic}}, address = {Budapest, Hungary}, editor = {Lev Beklemishev and St{\'e}phane Demri and Andr{\'a}s M{\'a}t{\'e}}, publisher = {{College Publications}}, series = {Advances in Modal Logic}, number = {11}, pages = {469--488}, year = {2016}, month = aug, keywords = {Focusing ; Labeled proof systems ; Modal logic ; Sequent calculi}, pdf = {https://hal.archives-ouvertes.fr/hal-01379624/file/aiml2016.pdf}, hal_id = {hal-01379624}, hal_version = {v1}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-editorial-board = {yes}, x-international-audience = {yes}, x-proceedings = {yes} }
@inproceedings{mehats16lacl, title = {{Non-crossing Tree Realizations of Ordered Degree Sequences}}, author = {Laurent Mehats and Lutz Stra{\ss}burger}, url = {https://hal.inria.fr/hal-01417567}, booktitle = {{LACL 2016 - 9th International Conference Logical Aspects of Computational Linguistics - Celebrating 20 Years of LACL (1996--2016)}}, address = {Nancy, France}, editor = {Maxime Amblard and Philippe de Groote and Sylvain Pogodalla and Christian Retor{\'e}}, publisher = {{Springer}}, series = {LNCS - Lecture Notes in Computer Science}, volume = {10054}, year = {2016}, month = dec, doi = {10.1007/978-3-662-53826-5\_13}, keywords = {Proof nets ; Non-crossing trees ; Integer sequences ; Catalan’s triangle ; Pascal-Catalan-tetrahedron}, hal_id = {hal-01417567}, hal_version = {v1}, lixequipe = {Parsifal} }
@inproceedings{mellies16lics, title = {{A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine}}, author = {Paul-Andr{\'e} Melli{\`e}s and Noam Zeilberger}, url = {https://hal.archives-ouvertes.fr/hal-01261955}, booktitle = {{IEEE/ACM Logic in Computer Science (LICS) 2016}}, address = {New York, United States}, series = {Proceedings of LICS'16}, year = {2016}, month = jun, keywords = {Lawvere’s presheaf hyperdoctrine ; monoidal closed bifibrations ; type refinement systems ; monoidal closed chiralities ; linear logic}, hal_id = {hal-01261955}, hal_version = {v1}, lixequipe = {Parsifal} }
@article{zeilberger16jfp, title = {{Linear lambda terms as invariants of rooted trivalent maps}}, author = {Noam Zeilberger}, url = {https://hal.archives-ouvertes.fr/hal-01247757}, journal = {{Journal of Functional Programming}}, publisher = {{Cambridge University Press (CUP)}}, volume = {26}, year = {2016}, month = nov, doi = {10.1017/S095679681600023X}, hal_id = {hal-01247757}, hal_version = {v1}, lixequipe = {Parsifal} }
This file was generated by bibtex2html 1.98.