Functional Machine Calculus

Publications

[Barrett2022a] The Functional Machine Calculus

[Barrett2022b] The Functional Machine Calculus II: Semantics

[Heijltjes2022] The Functional Machine Calculus