Cover Image

Formalizing equivalences without tears

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	de Jong, Tom
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

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

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

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

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

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

A simple formalization of alpha-equivalence
by: Apinis, Kalmer, et al.
Published: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
by: de Lima, Thaynara Arielly, et al.
Published: (2024)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Formal Modelling and Analysis of Slot Machines
by: Groote, Jan Friso, et al.
Published: (2024)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

Proceedings Eighth Symposium on Working Formal Methods
by: Marin, Mircea, et al.
Published: (2024)

A Rocq Formalization of Monomial and Graded Orders
by: Boldo, Sylvie, et al.
Published: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
by: Brown, Chad E., et al.
Published: (2025)

Formal Quality Measures for Predictors in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
by: Traversié, Thomas, et al.
Published: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
by: Moreira, Walter, et al.
Published: (2026)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

A Rocq Formalization of Simplicial Lagrange Finite Elements
by: Boldo, Sylvie, et al.
Published: (2026)

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

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
by: Brough, Jackson
Published: (2026)

Formally Verified Animation for RoboChart using Interaction Trees
by: Ye, Kangfeng, et al.
Published: (2023)

Short proofs without interference
by: Rebola-Pardo, Adrian
Published: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
by: Mironov, Andrew M.
Published: (2025)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
by: Pąk, Karol, et al.
Published: (2024)

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

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
by: Abdulaziz, Mohammad, et al.
Published: (2026)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
by: Affeldt, Reynald, et al.
Published: (2023)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)

Undecidability of Linear Logics without Weakening
by: Suzuki, Jun, et al.
Published: (2025)

Formal Verification of the Empty Hexagon Number
by: Subercaseaux, Bernardo, et al.
Published: (2024)