English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present an affine-intuitionistic system of types and effects which can beregarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic tomulti-threaded programs with effects. In the system, dynamically generatedvalues such as references or channels are abstracted into a finite set ofregions. We introduce a discipline of region usage that entails the confluence(and hence determinacy) of the typable programs. Further, we show that adiscipline of region stratification guarantees termination.

An affine-intuitionistic system of types and effects: confluence and termination