💾 Archived View for dcreager.net › 2023 › 04 › 14-reading-log.gmi captured on 2024-06-16 at 12:25:07. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
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