Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jfrea/Ahrens15,
  author       = {Benedikt Ahrens},
  title        = {Initiality for Typed Syntax and Semantics},
  journal      = {J. Formaliz. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {1--155},
  year         = {2015},
  url          = {https://doi.org/10.6092/issn.1972-5787/4712},
  doi          = {10.6092/ISSN.1972-5787/4712},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/Ahrens15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfrea/BelangerMP15,
  author       = {Olivier Savary B{\'{e}}langer and
                  Stefan Monnier and
                  Brigitte Pientka},
  title        = {Programming type-safe transformations using higher-order abstract
                  syntax},
  journal      = {J. Formaliz. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {49--91},
  year         = {2015},
  url          = {https://doi.org/10.6092/issn.1972-5787/5122},
  doi          = {10.6092/ISSN.1972-5787/5122},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/BelangerMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfrea/Buckley15,
  author       = {Mitchell Buckley},
  title        = {A formal verification of the theory of parity complexes},
  journal      = {J. Formaliz. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {25--48},
  year         = {2015},
  url          = {https://doi.org/10.6092/issn.1972-5787/5010},
  doi          = {10.6092/ISSN.1972-5787/5010},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/Buckley15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfrea/Guidi15,
  author       = {Ferruccio Guidi},
  title        = {Verified Representations of Landau's "Grundlagen" in the lambda-delta
                  Family and in the Calculus of Constructions},
  journal      = {J. Formaliz. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {93--116},
  year         = {2015},
  url          = {https://doi.org/10.6092/issn.1972-5787/4716},
  doi          = {10.6092/ISSN.1972-5787/4716},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/Guidi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfrea/MagronAGW15,
  author       = {Victor Magron and
                  Xavier Allamigeon and
                  St{\'{e}}phane Gaubert and
                  Benjamin Werner},
  title        = {Formal Proofs for Nonlinear Optimization},
  journal      = {J. Formaliz. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {1--24},
  year         = {2015},
  url          = {https://doi.org/10.6092/issn.1972-5787/4319},
  doi          = {10.6092/ISSN.1972-5787/4319},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/MagronAGW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}