:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Blaauwbroek, Lasse
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Machine Learning Programming Languages 03B40 (Primary) 68T30, 03B38 (Secondary) F.4.1
Accesso online:	https://arxiv.org/abs/2401.02950
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2020)

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

Univalent Material Set Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2023)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
di: Farmer, William M.
Pubblicazione: (2026)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
di: Walsh, Sean
Pubblicazione: (2024)

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

Internalizing Extensions in Lattices of Type Theories
di: Chan, Jonathan
Pubblicazione: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
di: Chan, Jonathan, et al.
Pubblicazione: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
di: Berry, David G., et al.
Pubblicazione: (2025)

Hashing Modulo Context-Sensitive $α$-Equivalence
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

Continuations and Completeness in Proof-theoretic Semantics
di: Gu, Tao, et al.
Pubblicazione: (2026)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

2-Coherent Internal Models of Homotopical Type Theory
di: Chen, Joshua
Pubblicazione: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Proof complexity of universal algebra in a CSP dichotomy proof
di: Gaysin, Azza
Pubblicazione: (2024)

Computability of Initial Value Problems
di: Brattka, Vasco, et al.
Pubblicazione: (2024)

On symmetries of spheres in univalent foundations
di: Cagne, Pierre, et al.
Pubblicazione: (2024)

Complete Robust Hybrid Systems Reachability
di: Wafa, Noah Abou El, et al.
Pubblicazione: (2026)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
di: Bruse, Florian, et al.
Pubblicazione: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
di: Lau, Desmond
Pubblicazione: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
di: Galliani, Pietro
Pubblicazione: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

A vector logic for intensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2026)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
di: Bezem, Marc, et al.
Pubblicazione: (2022)

On an ordinary expansion of first-order Belnap-Dunn logic
di: Middelburg, C. A.
Pubblicazione: (2023)

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

Continuous and algebraic domains in univalent foundations
di: de Jong, Tom, et al.
Pubblicazione: (2024)

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
di: Donadello, Ivan, et al.
Pubblicazione: (2024)

A vector logic for extensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2024)

Uniform Interpolation
di: van Gool, Sam
Pubblicazione: (2025)

Adding an Implication to Logics of Perfect Paradefinite Algebras
di: Greati, Vitor, et al.
Pubblicazione: (2023)

Formalizing MLTL Formula Progression in Isabelle/HOL
di: Kosaian, Katherine, et al.
Pubblicazione: (2024)