Image de couverture de livre

Scott's Representation Theorem and the Univalent Karoubi Envelope

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	van der Leer, Arnoud, Wullaert, Kobe, Ahrens, Benedikt
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Category Theory F.3.2; D.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Analysis of Symmetry in Quantitative Semantics
par: Clairambault, Pierre, et autres
Publié: (2024)

Intrinsically Correct Sorting in Cubical Agda
par: Alexandru, Cass, et autres
Publié: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
par: Knothe, David, et autres
Publié: (2026)

Graphical Quadratic Algebra
par: Stein, Dario, et autres
Publié: (2024)

The Rezk Completion for Elementary Topoi
par: Wullaert, Kobe, et autres
Publié: (2026)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Univalent Double Categories
par: van der Weide, Niels, et autres
Publié: (2023)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
par: Ye, Kangfeng, et autres
Publié: (2024)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)

Generating Higher Identity Proofs in Homotopy Type Theory
par: Benjamin, Thibaut
Publié: (2024)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
par: Zaiser, Fabian, et autres
Publié: (2024)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
par: Jilissen, Kevin H. J., et autres
Publié: (2024)

Space-time process algebra with asynchronous communication
par: Bergstra, J. A., et autres
Publié: (2024)

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants
par: Segura, Juan J.
Publié: (2026)

A Complete Finitary Refinement Type System for Scott-Open Properties
par: Riba, Colin, et autres
Publié: (2026)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
par: Hellwig, Jonathan, et autres
Publié: (2025)

Infinitary Refinement Types for Temporal Properties in Scott Domains
par: Riba, Colin, et autres
Publié: (2025)

Verification of E-Voting Algorithms in Dafny
par: Büttner, Robert, et autres
Publié: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
par: Sextl, Florian, et autres
Publié: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
par: Chiari, Michele, et autres
Publié: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
par: Esen, Zafer, et autres
Publié: (2025)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
par: Reinhard, Tobias
Publié: (2024)

Automatic Function Annotations for Hoare Logic
par: Matichuk, Danielle
Publié: (2012)

A Graded Modal Type Theory for Pulse Schedules
par: Adams, Robin, et autres
Publié: (2025)

EGGs are adhesive!
par: Biondo, Roberto, et autres
Publié: (2025)

A Classifying Topos for the Spectrum of Equivalences
par: Oggad, Kenan
Publié: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
par: Prebet, Enguerrand, et autres
Publié: (2026)

Uniform Substitution for Differential Refinement Logic
par: Prebet, Enguerrand, et autres
Publié: (2024)

Complementing an imperative process algebra with a rely/guarantee logic
par: Middelburg, C. A.
Publié: (2025)

Probabilistic imperative process algebra
par: Middelburg, C. A.
Publié: (2026)

Category Theory for Programming
par: Ahrens, Benedikt, et autres
Publié: (2022)

The Formal Theory of Monads, Univalently
par: van der Weide, Niels
Publié: (2022)

Formal P-Category Theory and Normalization by Evaluation in Rocq
par: Berry, David G., et autres
Publié: (2025)

Mechanizing Operads with Event-B
par: Attiogbé, Christian
Publié: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
par: Gabbay, Murdoch J.
Publié: (2013)

Univalent Enriched Categories and the Enriched Rezk Completion
par: van der Weide, Niels
Publié: (2024)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
par: Middelburg, C. A.
Publié: (2021)

A taxonomy of categories for relations
par: Cioffo, Cipriano Junior, et autres
Publié: (2025)