Normalization by Evaluation for the Computational Lambda-Calculus (2001)

Cached

Download Links

by Andrzej Filinski
Venue:Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, number 2044 in Lecture Notes in Computer Science
Citations:18 - 0 self