Stem bidomain$ (all stems)

3 papers:

FoSSaCS-2006-Laird #abstraction #nondeterminism

Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.

TLCA-2003-Laird #domain model

A Fully Abstract Bidomain Model of Unary FPC (JL), pp. 211–225.

ICALP-1994-PlotkinW #linear #logic

Bistructures, Bidomains and Linear Logic (GDP, GW), pp. 352–363.