Jean Krivine

1 published title

Reversible computation : 7th international conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings

(Contributor)

1 edition