Semantic analysis of normalisation by evaluation for typed lambda calculus (0)

by M Fiore
Venue:in: Proc. PPDP’02, 2002