@article{e48460180aaa42589b48481314324cd0,
title = "From IF to BI: a tale of dependence and separation",
keywords = "Independence-friendly logic, Dependence logic, Branching quantifiers, Logic of bunched implications, Functional dependence, Full abstraction, Tarski semantics, Team semantics, Quantifiers as adjoints, LINEAR LOGIC, SEMANTICS, 111 Mathematics",
author = "Samson Abramsky and Jouko V{\"a}{\"a}n{\"a}nen",
year = "2009",
doi = "10.1007/s11229-008-9415-6",
language = "English",
volume = "167",
pages = "207--230",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer",
}