𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On infinite computations in denotational semantics

✍ Scribed by J.W. De Bakker; J.-J.Ch. Meyer; J.I. Zucker

Book ID
111712077
Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
162 KB
Volume
29
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Modularity in Denotational Semantics
Modularity in Denotational Semantics
✍ John Power πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 758 KB

We consider a modular approach to denotational semantics. We reformulate and extend the idea of monads as notions of computation to algebraic structure together with a construction of an extended semantic category. We show that upon making that reformulation, one can obtain some account of modularit

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