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).

Full Professor DMAT - UFRN Vice-head of the Postgraduate Program PPgMAE, member of PPgSC

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.

Past research projects.

Other interests

Miscellany

Contact:

elaine dot pimentel at gmail dot com