:: Library Catalog

Saved in:

Bibliographic Details
Main Author:	Ambridge, Todd Waugh
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2401.09270
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

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

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

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

Univalent Double Categories
by: van der Weide, Niels, et al.
Published: (2023)

Constructive and Predicative Locale Theory in Univalent Foundations
by: Tosun, Ayberk
Published: (2026)

Internalizing Representation Independence with Univalence
by: Angiuli, Carlo, et al.
Published: (2020)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

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

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

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

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

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

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

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

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

Formalising New Mathematics in Isabelle: Diagonal Ramsey
by: Paulson, Lawrence C
Published: (2025)

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

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

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

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

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

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

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

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

The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)

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

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

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

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

Univalent Foundations of Constructive Algebraic Geometry
by: Zeuner, Max
Published: (2024)

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

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

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

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

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