Programming Language Theory Concept
Desired property: value is in normal form
Books
Journey Statusmastered Tags
A desirable property of a Lambda calculus where every value is in Normal form. This property must hold in all system.
A desirable property of a Lambda calculus where every value is in Normal form. This property must hold in all system.