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 the Department of Mathematics at UCLA. Previously 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.
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