💾 Archived View for dcreager.net › theory › functional-machine-calculus.gmi captured on 2024-12-17 at 09:33:18. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-09-29)

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

Functional Machine Calculus

Publications

[Barrett2022a] The Functional Machine Calculus

[Barrett2022b] The Functional Machine Calculus II: Semantics

[Heijltjes2022] The Functional Machine Calculus

» Theory