Cover Image

(Co)condition hits the Path

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Tesla, Isaev, Valery
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Programming Languages 03B38, 68N15 D.3.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)

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

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

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

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
by: Ramos, Arthur F., et al.
Published: (2025)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)

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

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

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

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
by: Zhang, Manqing, et al.
Published: (2026)

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

Nominal techniques as an Agda library
by: Gabbay, Murdoch J., et al.
Published: (2026)

Ext groups in Homotopy Type Theory
by: Christensen, J. Daniel, et al.
Published: (2023)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Early Announcement: Parametricity for GADTs
by: Cagne, Pierre, et al.
Published: (2024)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
by: Cerda, Rémy
Published: (2025)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

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

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

Finitely Bounded Homogeneity Turned Inside-Out
by: Rydval, Jakub
Published: (2021)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

The Tactician's Web of Large-Scale Formal Knowledge
by: Blaauwbroek, Lasse
Published: (2024)

Categorical Message Passing Language (CaMPL) for programmers
by: Hashimoto, Daniel Kiyoshi, et al.
Published: (2026)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
by: Figueira, Santiago, et al.
Published: (2023)

A domain-theoretic framework for conditional probability and Bayesian updating in programming
by: Di Gianantonio, Pietro, et al.
Published: (2025)

Formalizing Pick's Theorem in Isabelle/HOL
by: Binder, Sage, et al.
Published: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)