select2016.bib

@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.