2022
DOI: 10.4204/eptcs.368.3
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: 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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 25 publications
(43 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?