research
∙
05/25/2023
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation
The Functional Machine Calculus (FMC) was recently introduced as a gener...
research
∙
11/23/2022
The Functional Machine Calculus II: Semantics
The Functional Machine Calculus (FMC), recently introduced by the author...
research
∙
05/04/2021