2 papers
cs.LO2023
The exponential logic of sequentialization
Aurore Alcolei, Luc Pellissier, Alexis Saurin
Linear logic has provided new perspectives on proof-theory, denotational semantics and the study of programming languages. One of its main successes are proof-nets, canonical repre…
cs.DM2015
On the flora of asynchronous locally non-monotonic Boolean automata networks
Aurore Alcolei, Kévin Perrot, Sylvain Sené
Boolean automata networks (BANs) are a well established model for biological regulation systems such as neural networks or genetic networks. Studies on the dynamics of BANs, whethe…