¶Reading log
2023-04-14
Added [Horne2023], which claims that subtyping is not needed when developing a theory of session types.
[Horne2023] A logical account of subtyping for session types
This page is also available via Gemini at gemini://dcreager.net/2023/04/14-reading-log.gmi