:: Library Catalog

Salvato in:

Dettagli Bibliografici
Autore principale:	Ambridge, Todd Waugh
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2401.09270
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Small Types in Univalent Foundations
di: de Jong, Tom, et al.
Pubblicazione: (2021)

Univalence without function extensionality
di: Cavallo, Evan, et al.
Pubblicazione: (2026)

Formalising Inductive and Coinductive Containers
di: Damato, Stefania, et al.
Pubblicazione: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

Derivatives for Containers in Univalent Foundations
di: Joram, Philipp, et al.
Pubblicazione: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Univalent Double Categories
di: van der Weide, Niels, et al.
Pubblicazione: (2023)

Constructive and Predicative Locale Theory in Univalent Foundations
di: Tosun, Ayberk
Pubblicazione: (2026)

Internalizing Representation Independence with Univalence
di: Angiuli, Carlo, et al.
Pubblicazione: (2020)

The Formal Theory of Monads, Univalently
di: van der Weide, Niels
Pubblicazione: (2022)

Formalising the Double-Pushout Approach to Graph Transformation
di: Söldner, Robert, et al.
Pubblicazione: (2023)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
di: Reimann, Jesse, et al.
Pubblicazione: (2024)

The Patch Topology in Univalent Foundations
di: Arrieta, Igor, et al.
Pubblicazione: (2024)

Formalising the Bruhat-Tits Tree
di: Ludwig, Judith, et al.
Pubblicazione: (2025)

Univalent Enriched Categories and the Enriched Rezk Completion
di: van der Weide, Niels
Pubblicazione: (2024)

Formalising the local compactness of the adele ring
di: Mercuri, Salvatore
Pubblicazione: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
di: Farrell, Marie, et al.
Pubblicazione: (2021)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
di: Paulson, Lawrence C
Pubblicazione: (2025)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
di: Ljungström, Axel, et al.
Pubblicazione: (2023)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
di: Motoura, Shota, et al.
Pubblicazione: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
di: Bertrand, Meven Lennon, et al.
Pubblicazione: (2026)

An Imperative Language for Verified Exact Real-Number Computation
di: Bauer, Andrej, et al.
Pubblicazione: (2024)

Trocq: Proof Transfer for Free, With or Without Univalence
di: Cohen, Cyril, et al.
Pubblicazione: (2023)

Taming Differentiable Logics with Coq Formalisation
di: Affeldt, Reynald, et al.
Pubblicazione: (2024)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
di: Yang, Bowen, et al.
Pubblicazione: (2026)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
di: Rowicki, Radosław Jan, et al.
Pubblicazione: (2025)

The Algebra of Iterative Constructions
di: Batz, Kevin, et al.
Pubblicazione: (2026)

Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version
di: Kammüller, Florian
Pubblicazione: (2025)

A Univalent Formalization of Constructive Affine Schemes
di: Zeuner, Max, et al.
Pubblicazione: (2022)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Scott's Representation Theorem and the Univalent Karoubi Envelope
di: van der Leer, Arnoud, et al.
Pubblicazione: (2025)

Univalent Foundations of Constructive Algebraic Geometry
di: Zeuner, Max
Pubblicazione: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

Support is Search
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Constructive Ordinal Exponentiation
di: de Jong, Tom, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
di: Kirst, Dominik, et al.
Pubblicazione: (2026)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)