Logical relations for call-by-push-value models, via internal fibrations in a 2-category | Paper Citation Record

Observation 34c40af2-a9db-4a4b-adcd-f0a9e0d7869b · outbound

This paper cites Call-by-push-value,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Call-by-push-value,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:37.764237Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ae39e8-aba9-4102-abf0-7736f8d08060 · outbound

This paper cites Springer Netherlands, 2003.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Springer Netherlands, 2003

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:37.845854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aa930cb-b8ee-4c97-b4c3-a5aadf92bef6 · outbound

This paper cites Fibrations, logical predicates and indeterminates,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Fibrations, logical predicates and indeterminates,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:37.927450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f81491b8-fe26-4c9d-8ecf-e8e88a6ca9ab · outbound

This paper cites LCF considered as a programming language,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category LCF considered as a programming language,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:38.028936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7da088e7-f765-43af-a1a4-1b8f90c7af97 · outbound

This paper cites Reasoning about sequential functions via logical relations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Reasoning about sequential functions via logical relations,

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T15:42:51.308376Z

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 54aa991c-5521-4e31-b951-03444cf47642 · outbound

This paper cites An indexed model of recursive types for foundational proof-carrying code,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category An indexed model of recursive types for foundational proof-carrying code,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:38.264512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5255ac27-d9f5-4c22-9b91-078455a2f0cb · outbound

This paper cites Step-Indexed Biorthogonality: a Tutorial Example,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Step-Indexed Biorthogonality: a Tutorial Example,

Reference 7

Resolution: malformed identifier; no resolver link, observed 2026-08-07T15:42:38.371274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08b0f6bf-2d2c-4cd4-9949-a4fabc930545 · outbound

This paper cites Logical step-indexed logical relations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Logical step-indexed logical relations,

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T15:42:51.138028Z

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 f853d253-0802-4036-8bf2-b798c620afda · outbound

This paper cites Types, abstraction, and parametric polymorphism, part 2,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Types, abstraction, and parametric polymorphism, part 2,

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T15:42:50.958149Z

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 e045918b-1c35-457c-a6e6-6a2b1053425c · outbound

This paper cites Notes on sconing and relators,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Notes on sconing and relators,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:38.659826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8892632a-cb6a-4e18-a19c-a32c4ae9074c · outbound

This paper cites A new characterization of lambda definability,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category A new characterization of lambda definability,

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T15:42:50.584741Z

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 110d6b98-efdb-4262-9555-83a063dd1df2 · outbound

This paper cites A characterization of lambda definability in categorical models of implicit polymorphism,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category A characterization of lambda definability in categorical models of implicit polymorphism,

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T15:42:50.395747Z

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 a878be5c-e059-4a7e-990f-ea45e8c3ee50 · outbound

This paper cites Jacobs,Categorical Logic and Type Theory, ser.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Jacobs,Categorical Logic and Type Theory, ser

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:38.995022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd5feba4-8170-4b6e-8bc5-dcd631cec24e · outbound

This paper cites A characterisation of lambda definability with sums viaJJ-closure operators,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category A characterisation of lambda definability with sums viaJJ-closure operators,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:39.094824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d43225e2-f98c-47c0-a543-1da7f17f1c18 · outbound

This paper cites Relating computational effects byJJ-lifting,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Relating computational effects byJJ-lifting,

Reference 15

Resolution: verified exact; doi, observed 2026-08-07T15:42:50.123640Z

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 c8131dba-c181-48be-acab-a9dff9f8142e · outbound

This paper cites Notions of computation and monads,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Notions of computation and monads,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:39.299909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd822e2e-9fee-4874-a140-d809410ed0ef · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:39.390477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5cd6c63-d486-4154-8c9b-e67f60bd933b · outbound

This paper cites Logical relations for monadic types,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Logical relations for monadic types,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:39.580119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 623b8dd1-aa1b-44bf-9ca0-d48bb60cf0d8 · outbound

This paper cites Logical relations for monadic types,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Logical relations for monadic types,

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T15:42:49.644746Z

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 3e18b8a7-ab82-4c68-a6c8-e658638758fa · outbound

This paper cites A semantic formulation ofJJ-lifting and logical predicates for computational metalanguage,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category A semantic formulation ofJJ-lifting and logical predicates for computational metalanguage,

Reference 20

Resolution: verified exact; doi, observed 2026-08-07T15:42:49.426192Z

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 4f37c33c-5064-469a-ab0c-dc97cc5ec4c1 · outbound

This paper cites Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics,

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T15:42:49.265073Z

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 fc5a925e-33cf-415b-ac4f-2e50904a893a · outbound

This paper cites Codensity lifting of monads and its dual,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Codensity lifting of monads and its dual,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:39.970470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa204dbf-569a-4616-b65d-9206f88ecc4f · outbound

This paper cites Fully abstract models for effectfulλ-calculi via category-theoretic logical relations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Fully abstract models for effectfulλ-calculi via category-theoretic logical relations,

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T15:42:49.062632Z

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 24bc0ac3-e1e6-4da4-86da-d16f1630c9a5 · outbound

This paper cites Strong functors and monoidal monads,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Strong functors and monoidal monads,

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T15:42:48.798425Z

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 fe590f4f-7a72-4c77-8e06-bc6b83637699 · outbound

This paper cites What makes a strong monad?.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category What makes a strong monad?

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-07T15:42:40.246519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63d20bd2-f45f-4d1f-a003-6b7dbdf0b74a · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.350161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63122e94-9648-471f-a4ec-ead1c9e0e860 · outbound

This paper cites Artin glueing,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Artin glueing,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.436127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e88c79bb-d913-4ddd-8e1d-05250d7825c7 · outbound

This paper cites Connected limits, familial representability and artin glueing,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Connected limits, familial representability and artin glueing,

Reference 28

Resolution: verified exact; doi, observed 2026-08-07T15:42:48.639464Z

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 812c7b8d-871c-4f02-8d79-0294332ec9fb · outbound

This paper cites Actegories for the Working Amthematician.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Actegories for the Working Amthematician

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.660214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7eaab01-b360-40a8-8095-e650e650926d · outbound

This paper cites The formal semantics of computer languages and their interpretations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category The formal semantics of computer languages and their interpretations,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.760085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89884328-cc57-4457-a1fd-8362bb106045 · outbound

This paper cites Framed bicategories and monoidal fibrations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Framed bicategories and monoidal fibrations,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.867304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26efad50-1f73-4784-87a8-6944a8bf7693 · outbound

This paper cites On enriched fibrations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category On enriched fibrations,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.974098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89cd3352-7512-4cb0-94b9-b94a174bb4ec · outbound

This paper cites Monoidal Grothendieck construction,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Monoidal Grothendieck construction,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:41.081577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29f97809-87b1-4863-95b4-fa89169ed1d9 · outbound

This paper cites Logiques, cat ´egories et machines,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Logiques, cat ´egories et machines,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:58.636319Z

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 a5087756-aad3-4171-bb6f-edb85a42ad6a · outbound

This paper cites Semantic analysis of normalisation by evaluation for typed lambda calculus,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Semantic analysis of normalisation by evaluation for typed lambda calculus,

Reference 35

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T15:42:52.225264Z

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 34d7e60a-ef07-49e4-b046-9cbddb4af1df · outbound

This paper cites Towards a mathematical operational semantics,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Towards a mathematical operational semantics,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:41.488093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f39aa5d1-fcb2-41d0-96ee-98c3824a40c0 · outbound

This paper cites Goncharov, A.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Goncharov, A

Reference 37

Resolution: verified exact; doi, observed 2026-08-07T15:42:48.371219Z

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 40ece80e-2d2b-4594-8260-5d491e4ae415 · outbound

This paper cites Bialgebraic reasoning on higher-order program equivalence,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Bialgebraic reasoning on higher-order program equivalence,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:58.357054Z

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 f8a90c48-8696-48a8-9d38-19141e96a469 · outbound

This paper cites Abstract operational methods for call-by-push-value,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Abstract operational methods for call-by-push-value,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:58.015658Z

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 6d76dd26-681c-42b0-8f66-dd2e028568c7 · outbound

This paper cites An algebraic theory of type-and-effect systems,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category An algebraic theory of type-and-effect systems,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:57.723650Z

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 6c82d1a2-82ae-46d1-bc19-e74979ffe7f2 · outbound

This paper cites Reasoning about effectful programs and evaluation order,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Reasoning about effectful programs and evaluation order,

Reference 41

Resolution: verified exact; doi, observed 2026-08-07T15:42:48.136303Z

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 e9901b74-e51c-4730-a28d-4d390e93cfc6 · outbound

This paper cites Denotational foundations for expected cost analysis,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Denotational foundations for expected cost analysis,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:57.469235Z

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 74072314-f917-4aa4-878c-0862869f8eb0 · outbound

This paper cites Borceux,Handbook of Categorical Algebra, volume 2.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Borceux,Handbook of Categorical Algebra, volume 2

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:57.231243Z

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 bfe5b71c-1df4-401e-a128-a5482e472506 · outbound

This paper cites V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:56.971687Z

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 a52ced6f-a1ca-4f64-97bf-823c3aad4ff9 · outbound

This paper cites Higher Operads, Higher Categories.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Higher Operads, Higher Categories

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:42.684505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b53c0c1-d513-4b8f-b03c-141781a7958d · outbound

This paper cites 2-Dimensional Categories.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category 2-Dimensional Categories

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:42.771356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 502eaec9-4034-4374-b6cb-466acf475a9b · outbound

This paper cites Eine Bemerkung ¨uber Monaden und adjungierte Funktoren,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Eine Bemerkung ¨uber Monaden und adjungierte Funktoren,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:56.804622Z

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 fcd8b188-287f-4557-a033-2c6129cd268e · outbound

This paper cites Adjonctions et monades au niveau des 2-cat ´egories,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Adjonctions et monades au niveau des 2-cat ´egories,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:56.683980Z

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 8d53a635-b918-4f9e-947c-281201641965 · outbound

This paper cites The free adjunction,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category The free adjunction,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:56.540646Z

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 73901b75-5386-448c-9849-d9cdb8e95355 · outbound

This paper cites Conspectus of variable categories,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Conspectus of variable categories,

Reference 50

Resolution: verified exact; doi, observed 2026-08-07T15:42:47.425159Z

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 fb2ecca4-6cdd-4759-8287-55ac5258138d · outbound

This paper cites V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases

Reference 51

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T15:42:47.728661Z

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 7b8be510-46dc-4fe3-b34a-2bd1a2fe6f88 · outbound

This paper cites Categorical notions of fibration,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Categorical notions of fibration,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:43.387033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad8867e9-5050-4d46-83ae-2fdb6a2adf1c · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:42:56.401435Z

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 79879322-02b0-467d-b4ec-60a293fabeef · outbound

This paper cites Lack,A 2-Categories Companion.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Lack,A 2-Categories Companion

Reference 54

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T15:42:56.265406Z

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 f64d7b5e-4469-4a17-be85-dbe897c8a00f · outbound

This paper cites A general coherence result,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category A general coherence result,

Reference 55

Resolution: verified exact; doi, observed 2026-08-07T15:42:47.197004Z

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 d337e873-78dc-494b-b95a-73fd53ebb55a · outbound

This paper cites Two-dimensional monad theory,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Two-dimensional monad theory,

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:43.743888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a47c2cab-1668-41bb-ac4a-d74a21658134 · outbound

This paper cites Yoneda structures from 2-toposes,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Yoneda structures from 2-toposes,

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:43.843023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c37bf4b-bfdc-423e-ad19-90264f026ebc · outbound

This paper cites Springer Berlin Heidelberg, 1974, pp.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Springer Berlin Heidelberg, 1974, pp

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:43.290265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20de81e2-5094-44b0-8544-de4350ab0c69 · outbound

This paper cites Call-by-push-value: Decomposing call-by-value and call-by- name,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Call-by-push-value: Decomposing call-by-value and call-by- name,

Reference 59

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T15:42:56.117391Z

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 064ad33d-120b-4169-b6af-312a2663f656 · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 60

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:42:55.979112Z

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 db1a9323-725c-44f2-ac56-570c2e54a9ad · outbound

This paper cites Computational lambda-calculus and monads,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Computational lambda-calculus and monads,

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.144562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c928c37-d708-408f-a120-cda7807beab6 · outbound

This paper cites Eilenberg and G.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Eilenberg and G

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.233630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0860d469-4627-4608-b3dc-e99f664d8204 · outbound

This paper cites Normed spaces and the change of base for enriched categories,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Normed spaces and the change of base for enriched categories,

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:55.836913Z

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 2bc956c7-2ccb-416d-b86b-bb8fc81ae4d1 · outbound

This paper cites Grothendieck construction for bicategories,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Grothendieck construction for bicategories,

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:55.703811Z

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 787b8421-7f97-4301-96d9-2b2fc998e8a4 · outbound

This paper cites Adjunction models for call-by-push-value with stacks,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Adjunction models for call-by-push-value with stacks,

Reference 65

Resolution: verified exact; doi, observed 2026-08-07T15:42:47.064098Z

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 4007608d-81ec-4d46-b450-162765cc2d91 · outbound

This paper cites Factorization systems and fibrations,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Factorization systems and fibrations,

Reference 66

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T15:42:55.265588Z

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 0003af81-2786-4d1e-a59e-49ace369c997 · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.614493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5381039-91d8-428e-8ca3-e79fbcf00cfc · outbound

This paper cites Nishizawa, S.-y.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Nishizawa, S.-y

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.697439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93387477-f1d9-474f-b695-e1e40cce7a61 · outbound

This paper cites The formal theory of monads,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category The formal theory of monads,

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.757708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f2ea6dd-62a7-4bb7-bec9-5d3ad3c78169 · outbound

This paper cites Categorical glueing and logical predicates for models of linear logic,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Categorical glueing and logical predicates for models of linear logic,

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:55.052087Z

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 e8ef9dd6-a2be-4e93-8958-d5650183cb8a · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Reducing urban traffic congestion due to localized routing decisions

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.948395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcd1acb2-cf25-4966-8a3f-9091fd59f691 · outbound

This paper cites Fibred 2-categories and bicategories,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Fibred 2-categories and bicategories,

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:55.544807Z

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 8b5c12e3-f3a8-4c6d-8141-45309fc661ed · outbound

This paper cites On the Lambek embedding and the category of product-preserving presheaves,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category On the Lambek embedding and the category of product-preserving presheaves,

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:54.839121Z

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 b6e4ef1a-ff7d-4edc-892a-302fd1b99294 · outbound

This paper cites Normalization by evaluation for call- by-push-value and polarized lambda calculus,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Normalization by evaluation for call- by-push-value and polarized lambda calculus,

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:45.258055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d486cb2-103e-436b-9c92-81d6c01df8df · outbound

This paper cites Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures,

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:54.682023Z

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 b0c2cd77-b100-4f62-aab0-4b7576ef5fb2 · outbound

This paper cites Limits for lax morphisms,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Limits for lax morphisms,

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:45.617812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b6a696a-d453-4c66-b207-56cbd0418a74 · outbound

This paper cites Enhanced 2-categorical structures, two- dimensional limit sketches and the symmetry of internalisation,.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Enhanced 2-categorical structures, two- dimensional limit sketches and the symmetry of internalisation,

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:54.411425Z

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 5f9ae1a3-6284-44d3-b635-0525d7831881 · outbound

This paper cites Mac Lane,Categories for the Working Mathematician, 2nd ed., ser.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Mac Lane,Categories for the Working Mathematician, 2nd ed., ser

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:54.219182Z

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 4ef4cfe1-c31e-4d91-9094-cb23c33d752e · outbound

This paper cites Fiore and P.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Fiore and P

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:45.023005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dfbeaf6-44fc-4d95-817a-3b4a00c1f34b · outbound

This paper cites Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:45.873319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43439fee-9cad-4782-863b-21e6cdc12381 · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 89

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:42:53.980448Z

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 c604d037-8a80-4580-ae0f-ad45fabfa538 · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 90

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:42:53.650896Z

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 2b347fa2-04c7-4780-84dc-b7e17590c655 · outbound

This paper cites The hom-category structure means the following.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category The hom-category structure means the following

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:53.469494Z

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 9699c3b2-89f1-4105-997a-5c3f7cc612ce · outbound

This paper cites an unresolved cited work.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Unresolved cited work

Reference 92

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:42:53.247082Z

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 7187cf6c-07ce-4f16-ba4c-454ab0fb804b · outbound

This paper cites Thus for eachA, BPCwe have a setC cpA, Bqofmorphisms over c, denotedf:AÝ Ñ c B.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Thus for eachA, BPCwe have a setC cpA, Bqofmorphisms over c, denotedf:AÝ Ñ c B

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:53.030739Z

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 9611647d-8f2e-493a-86eb-7e7b32f8d5b4 · outbound

This paper cites We drop the subscripts where they are clear from context.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category We drop the subscripts where they are clear from context

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:42:52.689042Z

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 b41c86c8-7ad4-4d1f-926c-0513ccc07560 · outbound

This paper cites Available: https://doi.org/10.1007/3-540-56992-8 21.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: https://doi.org/10.1007/3-540-56992-8 21

Reference 378

Resolution: verified exact; doi, observed 2026-08-07T15:42:50.708817Z

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 a26e03b7-41ad-4feb-9983-98ec2a1a740c · outbound

This paper cites Available: https://doi.org/10.1017/CBO9781139172707.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: https://doi.org/10.1017/CBO9781139172707

Reference 1994

Resolution: verified exact; doi, observed 2026-08-07T15:42:49.778208Z

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 5606c2d3-eb04-4c2b-965e-8a33fced93d8 · outbound

This paper cites Available: https://doi.org/10.1007/s00029-017-0361-3.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: https://doi.org/10.1007/s00029-017-0361-3

Reference 2017

Resolution: verified exact; doi, observed 2026-08-07T15:42:46.777479Z

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 0e430313-5abe-423b-a097-fa2648c302b3 · outbound

This paper cites Available: https://doi.org/10.23638/LMCS-14(4:6)2018.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: https://doi.org/10.23638/LMCS-14(4:6)2018

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:40.038187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 991d3389-b731-4df2-97e1-7f3b797f32c2 · outbound

This paper cites Available: www.tac.mta.ca/tac/volumes/35/31/35-31.pdf.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: www.tac.mta.ca/tac/volumes/35/31/35-31.pdf

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:41.186718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdf8c8d7-af7a-4951-b7d0-3c5adbb2e9d3 · outbound

This paper cites On the Lambek embedding and the category of product-preserving presheaves.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category On the Lambek embedding and the category of product-preserving presheaves

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:45.213243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55091dd0-45bd-4b2a-8398-6020e33434d6 · outbound

This paper cites Available: https://doi.org/10.1145/3661814.3662099.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: https://doi.org/10.1145/3661814.3662099

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:41.879940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e77bf8b-a27f-4dec-9777-d8d4cf923522 · outbound

This paper cites Available: https://doi.org/10.1145/3720424.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Available: https://doi.org/10.1145/3720424

Reference 2025

Resolution: verified exact; doi, observed 2026-08-07T15:42:47.953966Z

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.

Coverage vector

Reference resolution

Outbound references

Pith citing papers