𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the interrelations of syntax and semantics

✍ Scribed by Johannes Engelkamp

Publisher
Guilford Publishing Inc
Year
1976
Tongue
English
Weight
607 KB
Volume
39
Category
Article
ISSN
0340-0727

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Editorial: Special issue on β€œThe semanti
Editorial: Special issue on β€œThe semantics and syntax of human-computer interaction”
✍ Thomas P. Moran πŸ“‚ Article πŸ“… 1981 πŸ› Elsevier Science βš– 94 KB

This special issue of the IJMMS grew out of the concurrent special issue of Computing Surveys (March, 1981) on "The Psyhcology of the Computer User", which reviews the empirical work published up to 1980. This issue presents more recent work, both analytic and empirical, addressing some of the highe

A text-based approach to feature modelli
A text-based approach to feature modelling: Syntax and semantics of TVL
✍ Andreas Classen; Quentin Boucher; Patrick Heymans πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 616 KB

In the scientific community, feature models are the de-facto standard for representing variability in software product line engineering. This is different from industrial settings where they appear to be used much less frequently. We and other authors found that in a number of cases, they lack conci

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

On the semantics of polymorphism
On the semantics of polymorphism
✍ Mario Coppo πŸ“‚ Article πŸ“… 1983 πŸ› Springer-Verlag 🌐 English βš– 598 KB