:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Aristote, Quentin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2507.13058
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Between Markov and restriction: Two more monads on categories for relations
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2025)

Hofmann-Streicher lifting of fibred categories
von: Slattery, Andrew, et al.
Veröffentlicht: (2025)

Hardness of monadic second-order formulae over succinct graphs
von: Gamard, Guilhem, et al.
Veröffentlicht: (2023)

Measuring well quasi-ordered finitary powersets
von: Abriola, Sergio, et al.
Veröffentlicht: (2023)

Flipper games for monadically stable graph classes
von: Gajarský, Jakub, et al.
Veröffentlicht: (2023)

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

Monoidal weak omega-categories as models of a type theory
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

On Kleisli liftings and decorated trace semantics
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2024)

Observation algebras: Heyting algebra over coherence spaces
von: Brunet, Paul
Veröffentlicht: (2025)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Reasoning about distributive laws in a concurrent refinement algebra
von: Meinicke, Larissa A., et al.
Veröffentlicht: (2024)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
von: Manière, Quentin, et al.
Veröffentlicht: (2024)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
von: Huvar, Ondřej, et al.
Veröffentlicht: (2026)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
von: Feng, Nick, et al.
Veröffentlicht: (2024)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Graph Homomorphism, Monotone Classes and Bounded Pathwidth
von: Eagling-Vose, Tala, et al.
Veröffentlicht: (2024)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

Tensorial structure of the lifting doctrine in constructive domain theory
von: Sterling, Jonathan
Veröffentlicht: (2023)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Compositional Taylor expansion in cartesian differential categories
von: Walch, Aymeric
Veröffentlicht: (2025)

Adhesive category theory for graph rewriting in Rocq
von: Arsac, Samuel, et al.
Veröffentlicht: (2025)

The category of well-filtered dcpos is not $Γ$-faithful
von: Miao, Hualin, et al.
Veröffentlicht: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

Feasibility Preservation under Monotone Retrieval Truncation
von: Plummer, Sean
Veröffentlicht: (2026)

A formulation of D-institution using functor categories
von: Hashimoto, Go
Veröffentlicht: (2026)

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Effective weak convergence and tightness of measures in computable Polish spaces
von: Rojas, Diego A.
Veröffentlicht: (2024)

Correspondences between codensity and coupling-based liftings, a practical approach
von: Humeau, Samuel, et al.
Veröffentlicht: (2024)

Commutativity and Kleisli laws of codensity monads of probability measures
von: Shirazi, Zev
Veröffentlicht: (2024)

Automated Verification of Monotonic Data Structure Traversals in C
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

A weakly monotonic, logically constrained, HORPO-variant
von: Kop, Cynthia
Veröffentlicht: (2024)