Elaine Pimentel

Passage Vallet, Paris, France! From where I keep some of my happiest memories and where I have very dear friends! (Image from Google Street, showing Carlos Olarte working hard).

Research Interests

  • Proof theory, concurrency theory, ecumenical systems, game semantics, logical frameworks, linear logic, modal logics, intersection types, lambda-calculus.

  • Ongoing research projects: MOSAIC, PROSA and PROGEO.

  • Proof Theoretic Semantics: check it out the seminar we organized for the WLD2022!!!

Past research projects.

Other interests



elaine dot pimentel at gmail dot com