1 results
Semantic analysis of normalisation by evaluation for typed lambda calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 8 / September 2022
- Published online by Cambridge University Press:
- 22 November 2022, pp. 1028-1065
-
- Article
-
- You have access
- Open access
- HTML
- Export citation