𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Contextual Labelled Semantics for Higher-order Process Calculi

✍ Scribed by Yongjian Li

Book ID
108126533
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
309 KB
Volume
138
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Negation functions based semantics for o
Negation functions based semantics for ordered linguistic labels
✍ VicenΓ§ Torra πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 812 KB

Mter arguing that in the knowledge acquisition framework experts cannot always supply a precise semantics for the linguistic labels they use, we show that negation functions over an ordered set of linguistics labels induce a semantics. We study the semantics induced by classical negation, functions

A fully abstract semantics for a higher-
A fully abstract semantics for a higher-order functional language with nondeterministic computation
✍ Alan Jeffrey πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 299 KB

This paper presents a functional programming language, based on Moggi's monadic metalanguage. In the ΓΏrst part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally