dcreager.net

↓

Functional Machine Calculus

Publications

[Barrett2022a] The Functional Machine Calculus

[Barrett2022b] The Functional Machine Calculus II: Semantics

[Heijltjes2022] The Functional Machine Calculus

» Theory

This page is also available via Gemini at gemini://dcreager.net/theory/functional-machine-calculus.gmi