Lorédan Larchey

Academic profile · OpenAlex

Works

9

Cited by

29

via OpenAlex · CC0

Recent publications · Crossref

5 total works indexed

1. The Undecidability of Boolean BI through Phase Semantics

   · 2010 · cited 31x

2. Expressivity Properties of Boolean BI Through Relational Models

   · 2006 · cited 23x

3. Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

   · 2009 · cited 20x

4. Separation Logic with One Quantified Variable

   · 2014 · cited 15x

5. Nondeterministic Phase Semantics and the Undecidability of Boolean BI