By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

Print

PLUME

PLUME

Programs & Proofs

Team leader: Russ Harmer

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

 

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