Copertina

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wißmann, Thorsten, Milius, Stefan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Coalgebraic Partition Refinement
di: Dorsch, Ulrich, et al.
Pubblicazione: (2017)

Initial Algebra Correspondence under Reachability Conditions
di: Kori, Mayuko, et al.
Pubblicazione: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
di: van Collem, Simcha, et al.
Pubblicazione: (2025)

A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)

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

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

Well-Founded Coalgebras Meet König's Lemma
di: Urbat, Henning, et al.
Pubblicazione: (2025)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
di: Lenke, Fabian, et al.
Pubblicazione: (2026)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Algebraic Reasoning over Relational Structures
di: Jurka, Jan, et al.
Pubblicazione: (2024)

Trees in Coalgebra from Generalized Reachability
di: Wißmann, Thorsten, et al.
Pubblicazione: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
di: Alexandru, Cass, et al.
Pubblicazione: (2025)

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

When Agda met Vampire
di: Šinkarovs, Artjoms, et al.
Pubblicazione: (2026)

Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)

The Algebra of Parity Games
di: Piedeleu, Robin
Pubblicazione: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)

A Diagrammatic Algebra for Program Logics
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

Forcing, Transition Algebras, and Calculi
di: Go, Hashimoto, et al.
Pubblicazione: (2024)

Linear Realisability and Implicative Algebras
di: Lucquin, Alexandre, et al.
Pubblicazione: (2026)

Effect Algebras as Omega-categories
di: Perticone, Lorenzo, et al.
Pubblicazione: (2023)

Induction rules for Transition Algebra
di: Hashimoto, Go
Pubblicazione: (2026)

Terminal Coalgebras in Countably Many Steps
di: Adámek, Jiří, et al.
Pubblicazione: (2023)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

A formalization of System I with type Top in Agda
di: Séttimo, Agustín, et al.
Pubblicazione: (2026)

On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022)

Compact Quantitative Theories of Convex Algebras
di: Mio, Matteo
Pubblicazione: (2025)

Model-theoretic Forcing in Transition Algebra
di: Hashimoto, Go, et al.
Pubblicazione: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

From Partial to Monadic: Combinatory Algebra with Effects
di: Cohen, Liron, et al.
Pubblicazione: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
di: Cunha, Juliana, et al.
Pubblicazione: (2025)

Graded Monads and Behavioural Equivalence Games
di: Ford, Chase, et al.
Pubblicazione: (2022)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
di: Schmoetten, Richard, et al.
Pubblicazione: (2024)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Concurrent Strategies on Games with Algebras
di: Huriot-Tattegrain, Sacha, et al.
Pubblicazione: (2024)

A General Completeness Theorem for Skip-free Star Algebras
di: Kappé, Tobias, et al.
Pubblicazione: (2025)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)