Wow, this intro to type theory book doesn’t mess around. pic.twitter.com/ESiSvmMPV9
— Fogus’ Wake (@fogus) June 13, 2019
(Tip of the cap to David Bindel.)
My name is Mason Porter. I am a Professor in Nordita (Nordic Institute for Theoretical Physics) and am Professor in Complex Systems in the Department of Mathematics at Stockholm University. Previously, I was a Professor in the Department of Mathematics at UCLA. Before that, I was Professor of Nonlinear and Complex Systems in the Mathematical Institute at University of Oxford. I was also a Tutorial Fellow of Somerville College. I am still a Senior Research Fellow of Somerville College.
Wow, this intro to type theory book doesn’t mess around. pic.twitter.com/ESiSvmMPV9
— Fogus’ Wake (@fogus) June 13, 2019
No comments:
Post a Comment