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