✦ LIBER ✦

On the Approximation of Denotational Mu-Semantics

✍ Scribed by Michael Huth

Book ID: 110266343
Publisher: Springer
Year: 1999
Tongue: English
Weight: 172 KB
Volume: 7
Category: Article
ISSN: 0927-2852
DOI: 10.1023/a:1008692203004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On phase semantics and denotational sema

On phase semantics and denotational semantics: the exponentials

✍ Antonio Bucciarelli; Thomas Ehrhard 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deÿne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as

Extending CSP: denotational semantics

✍ Lawrence, A.E. 📂 Article 📅 2003 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 1016 KB

The denotational semantics of sequential

The denotational semantics of sequential machines

✍ Michael J.C. Gordon 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 334 KB

The denotational semantics of a function

The denotational semantics of a functional tree-manipulation language

✍ Andrew Malton 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 740 KB

Broadening the denotational semantics of

Broadening the denotational semantics of linear logic: (Preliminary Report)

✍ Vaughan Pratt 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 527 KB

Denotational semantics of communicating

Denotational semantics of communicating processes based on a language for applicative multiprogramming

✍ Manfred Broy 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 420 KB