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.
Wednesday, June 12, 2019
Introductory Paragraph from a Book on Type Theory: A Wild Adventure
Now I want to start an actual scientific paper in this style. :P
No comments:
Post a Comment