Willem Heijltjes

Search results

• A lambda-calculus that achieves full laziness with spine duplication

  Sherratt, D. (Author)Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor), 4 Sept 2019

  Student thesis: Doctoral Thesis › PhD

  File

• On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation

  Barrett, C. (Author)Heijltjes, W. (Supervisor), 13 Jan 2023

  Student thesis: Doctoral Thesis › PhD

  File

• The Atomic Lambda-Mu Calculus

  He, F. (Author)Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor), 29 May 2018

  Student thesis: Doctoral Thesis › PhD

  File