Buchumschlag

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gylterud, Håkon Robbestad, Stenholm, Elisabeth, Veltri, Niccolò
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic Logic in Computer Science 03B38 (Primary), 03B70 (Secondary), 03F65 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Examples and counterexamples of injective types
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
von: Contente, Michele, et al.
Veröffentlicht: (2022)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
von: Miwa, Tadayoshi, et al.
Veröffentlicht: (2026)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
von: Cerda, Rémy, et al.
Veröffentlicht: (2022)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

2-Coherent Internal Models of Homotopical Type Theory
von: Chen, Joshua
Veröffentlicht: (2025)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
von: Ayhan, Sara
Veröffentlicht: (2023)

Proof-theoretic methods in quantifier-free definability
von: Kocsis, Zoltan A.
Veröffentlicht: (2023)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
von: Galliani, Pietro
Veröffentlicht: (2025)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
von: Bezem, Marc, et al.
Veröffentlicht: (2022)

Logics of polyhedral reachability
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Internal Effectful Forcing in System T
von: Escardo, Martin H., et al.
Veröffentlicht: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
von: Wang, Shuwei
Veröffentlicht: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

The proof-theoretic strength of Constructive Second-order set theories
von: Jeon, Hanul
Veröffentlicht: (2023)

A simplified lower bound for implicational logic
von: Jeřábek, Emil
Veröffentlicht: (2023)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)