dcreager.net

↓

Reading log

2022-12-20

Added [Heijltjes2022], another Functional Machine Calculus paper.

[Heijltjes2022] The Functional Machine Calculus

This page is also available via Gemini at gemini://dcreager.net/2022/12/20-reading-log.gmi