💾 Archived View for dcreager.net › 2024 › 05 › 20-reading-log.gmi captured on 2024-05-26 at 14:47:13. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
2024-05-20
Added [Barrett2024], which describes the Relational Machine Calculus. It is a follow-on to their papers about the Functional Machine Calculus.