Jon Sterling
www.jonmsterling.com
Personal website of computer scientist Jon Sterling, featuring research on type theory, logic, and programming languages.
The site serves as the academic homepage of Jon Sterling, a computer scientist specializing in type theory and category theory. It offers a collection of research papers, preprints, lecture notes, and an informal blog. The content is aimed at researchers and students in theoretical computer science and mathematics.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- July 2026