Programming Language Theory Concept
Desired property: normal form implies values
Books
Journey Statusmastered Tags
A desirable property of a Lambda calculus where there's no Stuck term. This property may not hold in most systems.
A desirable property of a Lambda calculus where there's no Stuck term. This property may not hold in most systems.