A more general categorical framework for congruence of applicative bisimilarity - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

A more general categorical framework for congruence of applicative bisimilarity

Tom Hirschowitz
Ambroise Lafont

Résumé

We prove a general congruence result for bisimilarity in higher-order languages, which generalises previous work to languages specified by a labelled transition system in which programs may occur as labels, and which may rely on operations on terms other than capture-avoiding substitution. This is typically the case for PCF, λ-calculus with delimited continuations, and early-style bisimilarity in higher-order process calculi.
Fichier principal
Vignette du fichier
wow.pdf (744.58 Ko) Télécharger le fichier
orcid.pdf (86.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03999584 , version 1 (20-03-2023)

Identifiants

Citer

Tom Hirschowitz, Ambroise Lafont. A more general categorical framework for congruence of applicative bisimilarity. 2023. ⟨hal-03999584⟩
106 Consultations
35 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More