Salvato in:
| Autori principali: | Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2205.06665 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)
di: Pous, Damien
Pubblicazione: (2026)
A Fully Abstract Model of PCF Based on Extended Addressing Machines
di: Intrigila, Benedetto, et al.
Pubblicazione: (2023)
di: Intrigila, Benedetto, et al.
Pubblicazione: (2023)
On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022)
di: Pous, Damien, et al.
Pubblicazione: (2022)
Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)
di: Mulder, Lukas, et al.
Pubblicazione: (2026)
A finite presentation of graphs of treewidth at most three
di: Doumane, Amina, et al.
Pubblicazione: (2024)
di: Doumane, Amina, et al.
Pubblicazione: (2024)
Adhesive category theory for graph rewriting in Rocq
di: Arsac, Samuel, et al.
Pubblicazione: (2025)
di: Arsac, Samuel, et al.
Pubblicazione: (2025)
Abstracting Situation Calculus Action Theories
di: Banihashemi, Bita, et al.
Pubblicazione: (2024)
di: Banihashemi, Bita, et al.
Pubblicazione: (2024)
Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)
di: Lyon, Tim S., et al.
Pubblicazione: (2023)
A Classical Linear $λ$-Calculus based on Contraposition
di: Barenbaum, Pablo, et al.
Pubblicazione: (2026)
di: Barenbaum, Pablo, et al.
Pubblicazione: (2026)
Proofs for Free in the $λΠ$-Calculus Modulo Theory
di: Traversié, Thomas
Pubblicazione: (2024)
di: Traversié, Thomas
Pubblicazione: (2024)
Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)
Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
di: Traversié, Thomas
Pubblicazione: (2024)
di: Traversié, Thomas
Pubblicazione: (2024)
Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)
From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)
di: Blot, Valentin, et al.
Pubblicazione: (2024)
A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
di: Pizzo, Nicolò, et al.
Pubblicazione: (2026)
di: Pizzo, Nicolò, et al.
Pubblicazione: (2026)
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)
The Characterization of Abstract Truth and its Factorization
di: Kent, Robert E.
Pubblicazione: (2024)
di: Kent, Robert E.
Pubblicazione: (2024)
Minimally Comparing Relational Abstract Domains
di: Ballou, Kenny, et al.
Pubblicazione: (2023)
di: Ballou, Kenny, et al.
Pubblicazione: (2023)
Identifying Minimal Changes in the Zone Abstract Domain
di: Ballou, Kenny, et al.
Pubblicazione: (2023)
di: Ballou, Kenny, et al.
Pubblicazione: (2023)
Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)
di: Gaßner, Christine
Pubblicazione: (2025)
Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)
di: Gaßner, Christine
Pubblicazione: (2025)
Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
di: Gaßner, Christine
Pubblicazione: (2025)
di: Gaßner, Christine
Pubblicazione: (2025)
Quantitative Types for the Functional Machine Calculus
di: Heijltjes, Willem
Pubblicazione: (2025)
di: Heijltjes, Willem
Pubblicazione: (2025)
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
di: de Lima, Thaynara Arielly, et al.
Pubblicazione: (2024)
di: de Lima, Thaynara Arielly, et al.
Pubblicazione: (2024)
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
di: Sangiorgi, Davide
Pubblicazione: (2024)
di: Sangiorgi, Davide
Pubblicazione: (2024)
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
di: Ahrens, Emma, et al.
Pubblicazione: (2025)
di: Ahrens, Emma, et al.
Pubblicazione: (2025)
Model Checking as Program Verification by Abstract Interpretation (Extended Version)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
di: Frenkel, Eden, et al.
Pubblicazione: (2024)
di: Frenkel, Eden, et al.
Pubblicazione: (2024)
A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)
di: Arkle, Sam, et al.
Pubblicazione: (2026)
Database Research needs an Abstract Relational Query Language
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2025)
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2025)
The Functional Machine Calculus III: Choice (Early Announcement)
di: Heijltjes, Willem
Pubblicazione: (2024)
di: Heijltjes, Willem
Pubblicazione: (2024)
Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
di: Szalas, Andrzej
Pubblicazione: (2025)
di: Szalas, Andrzej
Pubblicazione: (2025)
A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)
di: Baldan, Paolo, et al.
Pubblicazione: (2026)
An Abstract Domain for Heap Commutativity (Extended Version)
di: Pincus, Jared, et al.
Pubblicazione: (2024)
di: Pincus, Jared, et al.
Pubblicazione: (2024)
Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
di: Pastva, Samuel, et al.
Pubblicazione: (2026)
di: Pastva, Samuel, et al.
Pubblicazione: (2026)
Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)
Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)
Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)
di: Saxena, Ishan, et al.
Pubblicazione: (2025)
Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
di: Barbarossa, Davide
Pubblicazione: (2024)
di: Barbarossa, Davide
Pubblicazione: (2024)
Documenti analoghi
-
String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026) -
A Fully Abstract Model of PCF Based on Extended Addressing Machines
di: Intrigila, Benedetto, et al.
Pubblicazione: (2023) -
On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022) -
Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026) -
A finite presentation of graphs of treewidth at most three
di: Doumane, Amina, et al.
Pubblicazione: (2024)