𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Dependent Pronouns and Dynamic Semantics

✍ Scribed by Rick Nouwen

Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
409 KB
Volume
36
Category
Article
ISSN
0022-3611

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

Algebraic and logical semantics for CLP
Algebraic and logical semantics for CLP languages with dynamic scheduling
✍ Kim Marriott πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 760 KB

The first logic programming languages, such as Prolog, used a fixed left-to-right atom scheduling rule. Unfortunately, this meant that programs written in a clean, declarative style were often very inefficient, only terminated when certain inputs were fully instantiated or "ground," and (if negation