Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs337.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2107-07661,
  author       = {Giselle Reis},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Facilitating Meta-Theory Reasoning (Invited Paper)},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {1--12},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.1},
  doi          = {10.4204/EPTCS.337.1},
  timestamp    = {Mon, 26 Jun 2023 20:50:02 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07661.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07662,
  author       = {Gilles Dowek},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Interacting Safely with an Unsafe Environment},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {30--38},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.3},
  doi          = {10.4204/EPTCS.337.3},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07662.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07663,
  author       = {Qinxiang Cao and
                  Xiwei Wu},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Countability of Inductive Types Formalized in the Object-Logic Level},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {55--70},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.5},
  doi          = {10.4204/EPTCS.337.5},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07663.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07664,
  author       = {Laila El{-}Beheiry and
                  Giselle Reis and
                  Ammar Karkour},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations
                  from {SML} Programs with Contracts},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {71--87},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.6},
  doi          = {10.4204/EPTCS.337.6},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07665,
  author       = {Florian Rabe and
                  Navid Roux},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Systematic Translation of Formalizations of Type Theory from Intrinsic
                  to Extrinsic Style},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {88--103},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.7},
  doi          = {10.4204/EPTCS.337.7},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07665.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07666,
  author       = {Mary Southern and
                  Gopalan Nadathur},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Adelfa: {A} System for Reasoning about {LF} Specifications},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {104--120},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.8},
  doi          = {10.4204/EPTCS.337.8},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07666.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07669,
  author       = {Johannes Schoisswohl and
                  Laura Kov{\'{a}}cs},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Automating Induction by Reflection},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {39--54},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.4},
  doi          = {10.4204/EPTCS.337.4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07669.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07670,
  author       = {Matthieu Sozeau},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Touring the MetaCoq Project (Invited Paper)},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {13--29},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.2},
  doi          = {10.4204/EPTCS.337.2},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07670.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2107-07376,
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337},
  doi          = {10.4204/EPTCS.337},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07376.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.