ReFL Research Network

I’m a co-founder and the coordinator of ReFL, a French scientific network of people interested in fundamental questions of logic, computation and mathematics.

About ReFL

ReFL brings together researchers and enthusiasts who share an interest in:

• Linear logic and its developments
• Connections between logic and computer science
• Foundations of mathematics
• Proof theory and type theory

We are mainly influenced by the developments of linear logic and its links with computer science.

Activities

I organise seminars and events for ReFL, fostering discussions and collaborations between members.

Links

• ReFL homepage
• ReFL members