Jean Krivine

Jean Krivine

Research Fellow at CNRS