LINK TO THE TEAM WEBSITE

PLUME

PLUME

Programs & Proofs

Team leader: Damien POUS

Keywords: Curry-Howard isomorphism, semantics, logic, automata, co-induction 

 

Main collaborations: Bologna (Italy), Warsaw (Poland), Cambridge (UK), Harvard Medical School (USA)