Image de couverture de livre

The Tactician's Web of Large-Scale Formal Knowledge

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Blaauwbroek, Lasse
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Machine Learning Programming Languages 03B40 (Primary) 68T30, 03B38 (Secondary) F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Univalent Material Set Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2023)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
par: Cerda, Rémy, et autres
Publié: (2022)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

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

Formal P-Category Theory and Normalization by Evaluation in Rocq
par: Berry, David G., et autres
Publié: (2025)

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

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

Internalizing Extensions in Lattices of Type Theories
par: Chan, Jonathan
Publié: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
par: Chan, Jonathan, et autres
Publié: (2025)

Continuations and Completeness in Proof-theoretic Semantics
par: Gu, Tao, et autres
Publié: (2026)

Hashing Modulo Context-Sensitive $α$-Equivalence
par: Blaauwbroek, Lasse, et autres
Publié: (2024)

Internal Effectful Forcing in System T
par: Escardo, Martin H., et autres
Publié: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

Proof complexity of universal algebra in a CSP dichotomy proof
par: Gaysin, Azza
Publié: (2024)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
par: Galliani, Pietro
Publié: (2025)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

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

Interpolation and the Exchange Rule
par: Fussner, Wesley, et autres
Publié: (2023)

Examples and counterexamples of injective types
par: de Jong, Tom, et autres
Publié: (2026)

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

On symmetries of spheres in univalent foundations
par: Cagne, Pierre, et autres
Publié: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

Complete Robust Hybrid Systems Reachability
par: Wafa, Noah Abou El, et autres
Publié: (2026)

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

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

A vector logic for extensional formal semantics
par: Quigley, Daniel
Publié: (2024)

Y is a least fixed point combinator
par: Helfer, Joseph
Publié: (2025)

Computability of Initial Value Problems
par: Brattka, Vasco, et autres
Publié: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Formalizing MLTL Formula Progression in Isabelle/HOL
par: Kosaian, Katherine, et autres
Publié: (2024)

A vector logic for intensional formal semantics
par: Quigley, Daniel
Publié: (2026)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
par: Cerda, Rémy, et autres
Publié: (2023)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
par: Wang, Zili, et autres
Publié: (2025)

Adding an Implication to Logics of Perfect Paradefinite Algebras
par: Greati, Vitor, et autres
Publié: (2023)