Lîm Tsú-thuàn Posts Notes Projects Talks Site Roll

Person. Jon Sterling [jonmsterling]

Associate Professor · University of Cambridge · ORCID: 0000-0002-0585-5564 · https://www.jonmsterling.com/

Backlinks

常青筆記的困難 [note-0001]

Reference. Synthetic Domains in the 21st Century [sterling-2023-synthetic]

Reference. Notes on models of type theory [sterling2023models]