Seems highly likely that that J-L Krivine is (up to isomorphism, anyway) the same as the eponym of the https://en.wikipedia.org/wiki/Krivine_machine https://en.

Seems highly likely that that J-L Krivine is (up to isomorphism, anyway) the same as the eponym of the https://en.wikipedia.org/wiki/Krivine_machine https://en.wikipedia.org/wiki/Krivine_machine . (being the advisor of J-Y Girard is evidence that « un train peut en cacher un autre ») EDIT: s/highly likely/certain/, see publication list: https://www.irif.fr/~krivine/ https://www.irif.fr/~krivine/