Pilot corpus: NIH-funded biomedical datasets. Any DOI can be scored on demand — network effects sharpen as coverage grows.

Monoidal Indeterminates and Categories of Possible Worlds

Electronic Notes in Theoretical Computer Science(2009)10.1016/j.entcs.2009.07.083Source: DataRank Database

Monoidal Indeterminates and Categories of Possible Worlds is a research paper published in Electronic Notes in Theoretical Computer Science (2009). On theSindex it has a DataRank of 0.234. It has been cited 2 times, with 2 citing works in its 1-hop citation network.

N/A

0.234DataRank · unranked

Scored on demand from live citation data

2 citations · 2 citing works in its network

Free full text

Cite:

DataRank reads this dataset's downstream impact straight off the citation graph — no black box, no proprietary weighting. How is this computed?

›Methodology & internals

datarank_citation_only_1hop_v6· scope data_onlyMethodology

Pipeline:MetadataData-paper checkEnrichmentCitation networkScoring

Enrichment:Funding (1 grants)OA: goldTopics (14)IDs (PubMed)

FAIR Checklist

Context only (not used in score)

Findable (1/2)

Has DOI

Accessible (0/2)

Interoperable (0/2)

Reusable (0/3)

FAIR checklist signals are shown for context only and do not affect DataRank scoring.

Run a calibrated FAIR evaluation for this paper →

We only score data papers we can read in full — never from an abstract alone.

DataRank Breakdown

Base Score 70%Citation Network 30%

Base Score Contribution

0.165

From this paper's citation signal

Citation Network Contribution

0.0692

From 2 citing papers with measurable signal

Learn more about DataRank methodology →

Authors (2)

R.D. Tennent,C. Hermida

Live enrichment

PubMed:19910364

Natural Sciences and Engineering Research Council of Canada

Grant: unidentified

unidentified

goldLicense: cc-by-nc-nd

publisherhttps://www.sciencedirect.com/science/article/pii/S1571066109003053/pdf

publisherhttps://api.elsevier.com/content/article/PII:S1571066109003053?httpAccept=text/xml

publisherhttps://api.elsevier.com/content/article/PII:S1571066109003053?httpAccept=text/plain

https://doi.org/10.1016/j.tcs.2012.01.001

https://doi.org/10.1016/j.entcs.2009.07.083

Fields of Study

0102 computer and information sciences01 natural sciences0101 mathematics

Keywords

Indexed Lawvere theorypossible-world semanticsSemantics in the theory of computingTheories (e.g., algebraic theories), structure, and semanticsUniversalityTheoretical Computer ScienceAlgebraic theory of languages and automataindeterminatessymmetric monoidal categoriesCategorical logic, topoiComputer Science(all)

Monoidal Indeterminates and Categories of Possible Worlds

FAIR Checklist

DataRank Breakdown

Authors (2)

Funding (1 grants)

Open Access

Topics