Semantic analysis of normalisation by evaluation for typed lambda calculus
Article in Mathematical Structures in Computer Science (September 2022)
The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.
Article in Mathematical Structures in Computer Science (September 2022)
Preprint in arXiv (January 2021)
Article in ACM SIGPLAN Notices (January 2008)