Buchumschlag

Meaningfulness and Genericity in a Subsuming Framework

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kesner, Delia, Arrial, Victor, Guerrieri, Giulio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Genericity Through Stratification
von: Arrial, Victor, et al.
Veröffentlicht: (2024)

The Benefits of Diligence
von: Arrial, Victor, et al.
Veröffentlicht: (2024)

Hybrid Intersection Types for PCF (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Extending the Quantitative Pattern-Matching Paradigm
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
von: Santo, José Espírito, et al.
Veröffentlicht: (2022)

A Strong Bisimulation for a Classical Term Calculus
von: Bonelli, Eduardo, et al.
Veröffentlicht: (2021)

Interaction Equivalence
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2024)

Interaction Improvement
von: Lancelot, Adrienne, et al.
Veröffentlicht: (2026)

Proving Confluence in the Confluence Framework with CONFident
von: Gutiérrez, Raúl, et al.
Veröffentlicht: (2023)

DateSAT: A Framework for Solving Date and Period Constraints
von: Cui, Leyi, et al.
Veröffentlicht: (2026)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
von: Li, Runming, et al.
Veröffentlicht: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

GATlab: Modeling and Programming with Generalized Algebraic Theories
von: Lynch, Owen, et al.
Veröffentlicht: (2024)

Non-wellfounded parsimonious proofs and non-uniform complexity
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
von: Acclavio, Matteo, et al.
Veröffentlicht: (2023)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

Zippy -- Generic White-Box Proof Search with Zippers
von: Kappelmann, Kevin
Veröffentlicht: (2025)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
von: Su, Yuheng, et al.
Veröffentlicht: (2026)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
von: Klinkenberg, Lutz, et al.
Veröffentlicht: (2023)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
von: Stübinger, Terru, et al.
Veröffentlicht: (2023)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
von: Bharti, Varun, et al.
Veröffentlicht: (2025)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

A uniform characterisation of the (a)synchronous must-preorder
von: Bernardi, Giovanni, et al.
Veröffentlicht: (2026)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
von: Soldevila, Mallku, et al.
Veröffentlicht: (2024)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
von: Giusti, Giulia, et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
von: Ukhanov, Evgeny
Veröffentlicht: (2025)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
von: Congard, Sidney, et al.
Veröffentlicht: (2025)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
von: Elad, Neta, et al.
Veröffentlicht: (2023)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
von: Verscht, Lena, et al.
Veröffentlicht: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

A Unified Framework for Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2025)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

More Church-Rosser Proofs in BELUGA
von: Momigliano, Alberto, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)