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

A more general categorical framework for congruence of applicative bisimilarity

Tom Hirschowitz
Laboratoire de Mathématiques
CV
Ambroise Lafont
University of Cambridge [UK]

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.

Domaines

Logique en informatique [cs.LO] Catégories et ensembles [math.CT]
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)

Tom Hirschowitz  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03999584

Soumis le : lundi 20 mars 2023-10:06:14

Dernière modification le : vendredi 27 septembre 2024-11:15:56

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE CNRS INSMI LAMA LAMA-EQUIPE-LIMD
117 Consultations
62 Téléchargements

Altmetric

Partager

More