https://teaq.org/1970-01-01T00:00:00+00:00Simonsimon@teaq.orgtola-ssgProgramming language theory, type theory, and formal methods.