Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
- DOI
- 10.1007/978-3-319-66167-4_1
- Published
- 2017
- Container
- Lecture Notes in Computer Science
- Publisher
- Springer International Publishing
- Open access
- unknown
Credibility signals
uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.
Show all credibility signals
- supportingDOI registered: A matching record was returned by Crossref.
- supportingDOI resolves: A matching record was returned by Crossref.
- not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility.
- not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made.
- not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made.
- not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made.
- not scoredROR affiliation: Not checked or no result supplied; no credibility inference made.
- not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredOpen access status: Not checked or no result supplied; no credibility inference made.
- not scoredPublication license: Not checked or no result supplied; no credibility inference made.
- not scoredPublication version: A publication version was supplied but is not scored.
- supportingMetadata completeness: All 6 scored descriptive metadata groups are present.
Cite this work
BibTeX
@article{allodium:10.1007/978-3-319-66167-4_1,
title = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic},
author = {Julian Biendarra and Jasmin Christian Blanchette and Aymeric Bouzy and Martin Desharnais and Mathias Fleury and Johannes Hölzl and Ondřej Kunčar and Andreas Lochbihler and Fabian Meier and Lorenz Panny and Andrei Popescu and Christian Sternagel and René Thiemann and Dmitriy Traytel},
year = {2017},
journal = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-319-66167-4_1},
url = {https://doi.org/10.1007/978-3-319-66167-4_1}
}RIS
TY - JOUR TI - Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic AU - Julian Biendarra AU - Jasmin Christian Blanchette AU - Aymeric Bouzy AU - Martin Desharnais AU - Mathias Fleury AU - Johannes Hölzl AU - Ondřej Kunčar AU - Andreas Lochbihler AU - Fabian Meier AU - Lorenz Panny AU - Andrei Popescu AU - Christian Sternagel AU - René Thiemann AU - Dmitriy Traytel PY - 2017 JO - Lecture Notes in Computer Science DO - 10.1007/978-3-319-66167-4_1 UR - https://doi.org/10.1007/978-3-319-66167-4_1 ER -
APA
Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R., & Traytel, D. (2017). Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-319-66167-4_1
Source records
- crossref · retrieved 2026-09-26T00:34:08.462Z