Buchumschlag

A Strong Bisimulation for a Classical Term Calculus

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bonelli, Eduardo, Kesner, Delia, Viso, Andrés
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Classical Linear $λ$-Calculus based on Contraposition
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2026)

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)

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

Meaningfulness and Genericity in a Subsuming Framework
von: Kesner, Delia, 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)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
von: de Frutos-Escrig, David, et al.
Veröffentlicht: (2024)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Lowerbounds for Bisimulation by Partition Refinement
von: Groote, Jan Friso, et al.
Veröffentlicht: (2022)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

Aczel-Mendler Bisimulations in a Regular Category
von: Dubut, Jeremy
Veröffentlicht: (2023)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Better Bounded Bisimulation Contractions (Preprint)
von: Bolander, Thomas, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
von: Irani, Khashayar
Veröffentlicht: (2025)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
von: de Amorim, Pedro H. Azevedo, et al.
Veröffentlicht: (2026)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
von: Suilen, Marnix, et al.
Veröffentlicht: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

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

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

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

The Flower Calculus
von: Donato, Pablo
Veröffentlicht: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
von: Zouari, Safa, et al.
Veröffentlicht: (2024)

Bisimulation for Feller-Dynkin Processes
von: Chen, Linan, et al.
Veröffentlicht: (2019)

Node Replication: Theory And Practice
von: Kesner, Delia, et al.
Veröffentlicht: (2022)

Relational Dualities and Bisimulation
von: Kozicki, Piotr, et al.
Veröffentlicht: (2026)

The Tensor-Plus Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Positive Hennessy-Milner Logic for Branching Bisimulation
von: Geuvers, Herman, et al.
Veröffentlicht: (2022)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

A Sequent Calculus For Trace Formula Implication
von: Heidler, Niklas, et al.
Veröffentlicht: (2025)

Groups and Inverse Semigroups in Lambda Calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2026)

Quantitative Types for the Functional Machine Calculus
von: Heijltjes, Willem
Veröffentlicht: (2025)

Six Birds: Foundations of Emergence Calculus
von: Tsiokos, Ioannis
Veröffentlicht: (2026)