Paper Citation Record · LEDGER

Comparing semantic frameworks for dependently-sorted algebraic theories

As of 11 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2412.19946.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.19946 v2

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T23:55:50.973820Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

45 of 45 outbound references displayed

verified exact20
verified fuzzy8
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch5

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 07194f3d-e9ca-4859-9933-bd5801dabf84 · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.190721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a0ac84a3-1b84-4dfa-b27c-13d6f875aeff · outbound

This paper cites 3, 213--227, http://dx.doi.org/10.1007/s000120050111 doi:10.1007/s000120050111.

Comparing semantic frameworks for dependently-sorted algebraic theories 3, 213--227, http://dx.doi.org/10.1007/s000120050111 doi:10.1007/s000120050111

Reference 2

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.178009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5ebf2f73-22ea-445d-8788-26d361f3bce6 · outbound

This paper cites 3--22, http://dx.doi.org/10.1007/978-981-97-8943-6_1 doi:10.1007/978-981-97-8943-6_1.

Comparing semantic frameworks for dependently-sorted algebraic theories 3--22, http://dx.doi.org/10.1007/978-981-97-8943-6_1 doi:10.1007/978-981-97-8943-6_1

Reference 3

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.166857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c451d1b2-9027-447e-9e47-08a279d206c3 · outbound

This paper cites Categorical structures for type theory in univalent foundations.

Comparing semantic frameworks for dependently-sorted algebraic theories Categorical structures for type theory in univalent foundations

Reference 4

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T23:55:51.776627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8917d356-3796-45c1-8054-067e57e5c6bf · outbound

This paper cites 189, Cambridge University Press, Cambridge, 1994, http://dx.doi.org/10.1017/CBO9780511600579 doi:10.1017/CBO9780511600579.

Comparing semantic frameworks for dependently-sorted algebraic theories 189, Cambridge University Press, Cambridge, 1994, http://dx.doi.org/10.1017/CBO9780511600579 doi:10.1017/CBO9780511600579

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.818355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bdd46cf-45f1-4389-a0ea-69b70fcab650 · outbound

This paper cites Homotopy theoretic models of identity types.

Comparing semantic frameworks for dependently-sorted algebraic theories Homotopy theoretic models of identity types

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.756139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 27c5b8d9-c4ea-4df4-b748-76697a53519a · outbound

This paper cites Natural models of homotopy type theory.

Comparing semantic frameworks for dependently-sorted algebraic theories Natural models of homotopy type theory

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.827935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18e2409b-0d91-4e41-a6b4-38d9ceecc358 · outbound

This paper cites Modal Dependent Type Theory and Dependent Right Adjoints.

Comparing semantic frameworks for dependently-sorted algebraic theories Modal Dependent Type Theory and Dependent Right Adjoints

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.723661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 88563a5c-d273-406a-b9f8-f845908d63f1 · outbound

This paper cites Nijmegen.

Comparing semantic frameworks for dependently-sorted algebraic theories Nijmegen

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.928923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7c2c7651-d052-4289-9811-aef6176ffd5f · outbound

This paper cites thesis, Oxford, 1978.

Comparing semantic frameworks for dependently-sorted algebraic theories thesis, Oxford, 1978

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.916300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 686b56fd-7d98-4c49-84fb-5b768a44c072 · outbound

This paper cites Pure Appl.

Comparing semantic frameworks for dependently-sorted algebraic theories Pure Appl

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.904032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6b67c1e5-5ced-46a7-95c4-bcf3d2568f65 · outbound

This paper cites The Biequivalence of Locally Cartesian Closed Categories and Martin-L\"of Type Theories.

Comparing semantic frameworks for dependently-sorted algebraic theories The Biequivalence of Locally Cartesian Closed Categories and Martin-L\"of Type Theories

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.705742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 271ea6b0-0d85-4d15-9c8d-5c5318a38583 · outbound

This paper cites A 2-categorical analysis of context comprehension.

Comparing semantic frameworks for dependently-sorted algebraic theories A 2-categorical analysis of context comprehension

Reference 13

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T23:55:51.688131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1e316ae7-f557-431e-8832-19ff7d09a331 · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.147083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8d99076c-7bcb-4e83-850c-c95fb1bf20ab · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-10T23:55:51.891161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7b82dd2f-4c15-41b2-b1c0-f496a645f052 · outbound

This paper cites Sci., vol.

Comparing semantic frameworks for dependently-sorted algebraic theories Sci., vol

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.863859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f6819eb-3aa7-4d56-8f7f-593003e55b3c · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-10T23:55:51.877215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 07d1fc0f-e0c1-4bbc-a619-3d26b37f8e6b · outbound

This paper cites 1, 1–76, http://dx.doi.org/10.1017/S0004972700044828 doi:10.1017/S0004972700044828.

Comparing semantic frameworks for dependently-sorted algebraic theories 1, 1–76, http://dx.doi.org/10.1017/S0004972700044828 doi:10.1017/S0004972700044828

Reference 18

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.127956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c49f8fb3-5b1f-4ce2-af9d-0ace6e08b136 · outbound

This paper cites Combinatorial structure of type dependency.

Comparing semantic frameworks for dependently-sorted algebraic theories Combinatorial structure of type dependency

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.669154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a2ac595f-e46a-4b43-a0d2-6f94059e9913 · outbound

This paper cites 221, Springer-Verlag, Berlin-New York, 1971, http://dx.doi.org/10.1007/BFb0059396 doi:10.1007/BFb0059396.

Comparing semantic frameworks for dependently-sorted algebraic theories 221, Springer-Verlag, Berlin-New York, 1971, http://dx.doi.org/10.1007/BFb0059396 doi:10.1007/BFb0059396

Reference 20

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.115210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4cd4b06d-26b0-4f38-adf4-74af40937346 · outbound

This paper cites Sci., vol.

Comparing semantic frameworks for dependently-sorted algebraic theories Sci., vol

Reference 21

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.102589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 52ed1075-9a39-48d4-affd-f70722415f27 · outbound

This paper cites Newton Inst., vol.

Comparing semantic frameworks for dependently-sorted algebraic theories Newton Inst., vol

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.886478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad561972-a3c5-4c80-9e7e-3e2de99bbee7 · outbound

This paper cites Martin E.

Comparing semantic frameworks for dependently-sorted algebraic theories Martin E

Reference 23

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.083279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 05aa384b-25a6-431c-8977-48639b3d8027 · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.071938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8c2de607-20b5-4fbe-b3d8-6f1616dbdccb · outbound

This paper cites Johnstone, Sketches of an elephant: a topos theory compendium, Oxford Logic Guides, vol.

Comparing semantic frameworks for dependently-sorted algebraic theories Johnstone, Sketches of an elephant: a topos theory compendium, Oxford Logic Guides, vol

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.863413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 10d400a0-4e7d-425a-b1d2-d3e65a4b7e08 · outbound

This paper cites Notes on Clans and Tribes.

Comparing semantic frameworks for dependently-sorted algebraic theories Notes on Clans and Tribes

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.900868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 630c068f-fcdb-4855-9e50-215c8543be4a · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.060007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f473f128-2f30-48a9-879a-67c8b4f11f6a · outbound

This paper cites Pure Appl.

Comparing semantic frameworks for dependently-sorted algebraic theories Pure Appl

Reference 28

Resolution: verified exact; raw_fallback, observed 2026-08-10T23:55:51.638331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4f0a85d8-d714-44cb-9568-63b1f9f6a7b1 · outbound

This paper cites 12, 107126, http://dx.doi.org/10.1016/j.jpaa.2022.107126 doi:10.1016/j.jpaa.2022.107126 , https://www.sciencedirect.com/science/article/pii/S0022404922001220.

Comparing semantic frameworks for dependently-sorted algebraic theories 12, 107126, http://dx.doi.org/10.1016/j.jpaa.2022.107126 doi:10.1016/j.jpaa.2022.107126 , https://www.sciencedirect.com/science/article/pii/S0022404922001220

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.912146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d705a93a-6d37-4358-a17a-45429469c2d0 · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-10T23:55:51.849341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8a5319f2-54ae-4f0d-82da-6c7d441090c8 · outbound

This paper cites Lecture Notes, vol.

Comparing semantic frameworks for dependently-sorted algebraic theories Lecture Notes, vol

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.833410Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f781d950-5840-4453-a2a0-6fdee148883e · outbound

This paper cites Structures Comput.

Comparing semantic frameworks for dependently-sorted algebraic theories Structures Comput

Reference 32

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.048584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a30ed1b3-fabf-4496-8d26-ce13e697fb98 · outbound

This paper cites Algebraic models of dependent type theory.

Comparing semantic frameworks for dependently-sorted algebraic theories Algebraic models of dependent type theory

Reference 33

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T23:55:51.460397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 624360ee-c5a3-418b-a904-4a59974649ca · outbound

This paper cites Pitts, Categorical logic, Handbook of Logic in Computer Science, vol.

Comparing semantic frameworks for dependently-sorted algebraic theories Pitts, Categorical logic, Handbook of Logic in Computer Science, vol

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.930592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afd30b79-db67-4bc9-9559-ea426fa17838 · outbound

This paper cites Report NS-98-7, Basic Research in Computer Science, Aarhus, August 1998, https://www.brics.dk/NS/98/7/index.html.

Comparing semantic frameworks for dependently-sorted algebraic theories Report NS-98-7, Basic Research in Computer Science, Aarhus, August 1998, https://www.brics.dk/NS/98/7/index.html

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.820027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 22b20b09-68e0-481f-83cc-e0503462f79f · outbound

This paper cites Vickers, Partial horn logic and C artesian categories , Ann.

Comparing semantic frameworks for dependently-sorted algebraic theories Vickers, Partial horn logic and C artesian categories , Ann

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.937899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9303b60-4f70-4672-ad6c-14622a9fd01e · outbound

This paper cites an unresolved cited work.

Comparing semantic frameworks for dependently-sorted algebraic theories Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-10T23:55:51.028467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b46afb2f-9599-4647-9bcf-d36be5e977d9 · outbound

This paper cites From dependent type theory to higher algebraic structures.

Comparing semantic frameworks for dependently-sorted algebraic theories From dependent type theory to higher algebraic structures

Reference 38

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T23:55:51.016010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation dfb7168e-59f3-40f2-a735-fedfdda2e071 · outbound

This paper cites thesis, University of Cambridge, 1986, https://www.paultaylor.eu/domains/recdic.pdf.

Comparing semantic frameworks for dependently-sorted algebraic theories thesis, University of Cambridge, 1986, https://www.paultaylor.eu/domains/recdic.pdf

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.804638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c27e4531-f44d-4b3e-aafe-e49efd3806c2 · outbound

This paper cites 59, Cambridge University Press, Cambridge, 1999, https://www.paultaylor.eu/ pt/prafm/.

Comparing semantic frameworks for dependently-sorted algebraic theories 59, Cambridge University Press, Cambridge, 1999, https://www.paultaylor.eu/ pt/prafm/

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:55:51.790496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 61c7a7dd-675a-4c18-be30-b91e39ce3fa8 · outbound

This paper cites A General Framework for the Semantics of Type Theory.

Comparing semantic frameworks for dependently-sorted algebraic theories A General Framework for the Semantics of Type Theory

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.276388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d6f5b677-009d-4b8a-8b04-a5aae8b7d5fb · outbound

This paper cites Topological and simplicial models of identity types.

Comparing semantic frameworks for dependently-sorted algebraic theories Topological and simplicial models of identity types

Reference 42

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.258170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9c30e8d4-b0ea-4ef1-a8ec-120ca625dddd · outbound

This paper cites B-systems.

Comparing semantic frameworks for dependently-sorted algebraic theories B-systems

Reference 43

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:55:51.239294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 56132d5d-c556-4b37-aa6f-cf2cab82de5b · outbound

This paper cites Subsystems and regular quotients of C-systems.

Comparing semantic frameworks for dependently-sorted algebraic theories Subsystems and regular quotients of C-systems

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T23:55:50.969887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2d31054-146b-49c5-bf05-9b93cccf1993 · outbound

This paper cites C-system of a module over a $Jf$-relative monad.

Comparing semantic frameworks for dependently-sorted algebraic theories C-system of a module over a $Jf$-relative monad

Reference 45

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T23:55:51.209125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Pith citing papers

No inbound Pith citation observations are available.