Linear logic and interference control

On bunched typing

Journal of Functional Programming ◽

10.1017/s0956796802004495 ◽

2003 ◽

Vol 13 (4) ◽

pp. 747-796 ◽

Cited By ~ 37

Author(s):

PETER O'HEARN

Keyword(s):

Additive Function ◽

Linear Logic ◽

Type System ◽

The Other ◽

Basic System ◽

Interference Control ◽

Joint Work ◽

Function Type ◽

Structural Rules ◽

Single Category

We study a typing scheme derived from a semantic situation where a single category possesses several closed structures, corresponding to different varieties of function type. In this scheme typing contexts are trees built from two (or more) binary combining operations, or in short, bunches. Bunched typing and its logical counterpart, bunched implications, have arisen in joint work of the author and David Pym. The present paper gives a basic account of the type system, and then focusses on concrete models that illustrate how it may be understood in terms of resource access and sharing. The most basic system has two context-combining operations, and the structural rules of Weakening and Contraction are allowed for one but not the other. This system includes a multiplicative, or substructural, function type −∗ alongside the usual (additive) function type $\rightarrow$; it is dubbed the $\alpha\lambda$-calculus after its binders, $\alpha$ for the $\alpha$dditive binder and $\lambda$ for the multiplicative, or $\lambda$inear, binder. We show that the features of this system are, in a sense, complementary to calculi based on linear logic; it is incompatible with an interpretation where a multiplicative function uses its argument once, but perfectly compatible with a reading based on sharing of resources. This sharing interpretation is derived from syntactic control of interference, a type-theoretic method of controlling sharing of storage, and we show how bunch-based management of Contraction can be used to provide a more flexible type system for interference control.

Download Full-text

Do Children With Developmental Language Disorder (DLD) Have Difficulties With Interference Control, Visuospatial Working Memory, and Selective Attention? Developmental Patterns and the Role of Severity and Persistence of DLD

Journal of Speech Language and Hearing Research ◽

10.1044/2020_jslhr-20-00012 ◽

2020 ◽

Vol 63 (9) ◽

pp. 3036-3050

Author(s):

Elma Blom ◽

Tessel Boerma

Keyword(s):

Working Memory ◽

Selective Attention ◽

Language Disorder ◽

Typically Developing ◽

Developmental Language Disorder ◽

Visuospatial Working Memory ◽

Interference Control ◽

Developmental Patterns ◽

Search Tasks ◽

The Impact

Purpose Many children with developmental language disorder (DLD) have weaknesses in executive functioning (EF), specifically in tasks testing interference control and working memory. It is unknown how EF develops in children with DLD, if EF abilities are related to DLD severity and persistence, and if EF weaknesses expand to selective attention. This study aimed to address these gaps. Method Data from 78 children with DLD and 39 typically developing (TD) children were collected at three times with 1-year intervals. At Time 1, the children were 5 or 6 years old. Flanker, Dot Matrix, and Sky Search tasks tested interference control, visuospatial working memory, and selective attention, respectively. DLD severity was based on children's language ability. DLD persistence was based on stability of the DLD diagnosis. Results Performance on all tasks improved in both groups. TD children outperformed children with DLD on interference control. No differences were found for visuospatial working memory and selective attention. An interference control gap between the DLD and TD groups emerged between Time 1 and Time 2. Severity and persistence of DLD were related to interference control and working memory; the impact on working memory was stronger. Selective attention was unrelated to DLD severity and persistence. Conclusions Age and DLD severity and persistence determine whether or not children with DLD show EF weaknesses. Interference control is most clearly impaired in children with DLD who are 6 years and older. Visuospatial working memory is impaired in children with severe and persistent DLD. Selective attention is spared.

Download Full-text

Advances in Linear Logic

10.1017/cbo9780511629150 ◽

1995 ◽

Cited By ~ 59

Keyword(s):

Linear Logic

Download Full-text

Pattern of Near Transfer Effects Following Working Memory Training With a Dual N-Back Task

Experimental Psychology (formerly Zeitschrift für Experimentelle Psychologie) ◽

10.1027/1618-3169/a000370 ◽

2017 ◽

Vol 64 (4) ◽

pp. 240-252 ◽

Cited By ~ 12

Author(s):

Anna Soveri ◽

Eric P. A. Karlsson ◽

Otto Waris ◽

Petra Grönholm-Nyman ◽

Matti Laine

Keyword(s):

Working Memory ◽

Controlled Trial ◽

Composite Score ◽

Memory Training ◽

Interference Control ◽

Transfer Effects ◽

Near Transfer ◽

Randomized Controlled ◽

Transfer Tasks ◽

Back Task

Abstract. In a randomized controlled trial, we investigated the pattern of near transfer effects of working memory (WM) training with an adaptive auditory-visuospatial dual n-back training task in healthy young adults. The results revealed significant task-specific transfer to an untrained single n-back task, and more general near transfer to a WM updating composite score plus a nearly significant effect on a composite score measuring interference control in WM. No transfer effects were seen on Active or Passive WM composites. The results are discussed in the light of cognitive versus strategy-related overlap between training and transfer tasks.

Download Full-text