Head reduction and normalization in a call-by-value lambda-calculus

From MaRDI portal
Publication:5240183