Interview with Peter W. O’Hearn, recipient of the 2016 Gödel Prizeprocessalgebra.blogspot.com2 points·erggo··0 commentsOpen articleSaveView on HN