💾 Archived View for dcreager.net › 2022 › 12 › 20-reading-log.gmi captured on 2024-05-26 at 14:56:54. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Reading log

2022-12-20

Added [Heijltjes2022], another Functional Machine Calculus paper.

[Heijltjes2022] The Functional Machine Calculus