On the Simply-Typed Functional Machine Calculus, Categorical Semantics and Strong Normalisation (Barret, PhD Thesis)

• https://arxiv.org/pdf/2305.16073.pdf

@article{barrett23:fmc,
  author       = {Chris Barrett},
  title        = {On the Simply-Typed Functional Machine Calculus: Categorical Semantics
                  and Strong Normalisation},
  journal      = {CoRR},
  volume       = {abs/2305.16073},
  year         = {2023},
  doi          = {10.48550/ARXIV.2305.16073},
  eprinttype    = {arXiv},
  eprint       = {2305.16073},
}

Tags: functional machine calculus.