:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Miao, Hualin, Hou, Huijun, Jia, Xiaodong, Li, Qingguo
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2409.01546
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Separating domains from algebraic domains
by: Jia, Xiaodong, et al.
Published: (2025)

$ω$-well-filtered spaces, revisited
by: Miao, Hualin, et al.
Published: (2024)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)

Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)

Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

A formulation of D-institution using functor categories
by: Hashimoto, Go
Published: (2026)

Some Consistent Power Constructions
by: Zhou, Chengyu, et al.
Published: (2025)

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
by: Aristote, Quentin
Published: (2025)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)

The internal languages of univalent categories
by: van der Weide, Niels
Published: (2024)

Hofmann-Streicher lifting of fibred categories
by: Slattery, Andrew, et al.
Published: (2025)

Unbiasing symmetric monoidal categories in Lean
by: Carlier, Robin
Published: (2026)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

A type-theoretic approach to semistrict higher categories
by: Rice, Alex
Published: (2025)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
by: Vienney, Jean-Baptiste
Published: (2026)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2025)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
by: Vienney, Jean-Baptiste
Published: (2023)

Vibe Coding an LLM-powered Theorem Prover
by: Hou, Zhe
Published: (2026)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
by: Yang, Ziyi, et al.
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)