A Generic Type System for Higher-Order Ψ-calculi

Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

Dokumenter

  • Fulltext

    Forlagets udgivne version, 248 KB, PDF-dokument

  • Alex Rønning Bendixen
  • Bjarke Bredow Bojesen
  • Hüttel, Hans
  • Stian Lybech

The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of many first- and higher-order extensions of the π-calculus. It was proposed by Parrow et al. who showed that higher-order calculi such as HOπ and CHOCS can be expressed as HOΨ-calculi. In this paper we present a generic type system for HOΨ-calculi which extends previous work by Hüttel on a generic type system for first-order Ψ-calculi. Our generic type system satisfies the usual property of subject reduction and can be instantiated to yield type systems for variants of HOπ, including the type system for termination due to Demangeon et al.. Moreover, we derive a type system for the ρ-calculus, a reflective higher-order calculus proposed by Meredith and Radestock. This establishes that our generic type system is richer than its predecessor, as the ρ-calculus cannot be encoded in the π-calculus in a way that satisfies standard criteria of encodability.

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science, EPTCS
Vol/bind368
Sider (fra-til)43-59
Antal sider17
ISSN2075-2180
DOI
StatusUdgivet - 2022
BegivenhedCombined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022 - Warsaw, Polen
Varighed: 12 sep. 2022 → …

Konference

KonferenceCombined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022
LandPolen
ByWarsaw
Periode12/09/2022 → …

Bibliografisk note

Funding Information:
*The work by this author was partly supported by the Icelandic Research Fund Grant No. 218202-05(1-3).

Publisher Copyright:
© Bendixen, Bojesen, Hüttel and Lybech.

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 322570919