by-name by-value definitions def val termination
call-by-name call-by-value by-name by-value definitions def termination expressions Boolean expressions conditional expressions
termination expressions Boolean expressions evaluation reduction rules
by-name by-value termination evaluation conditional expressions if-else
call-by-name call-by-value by-name by-value definitions termination expressions Boolean expressions evaluation conditional expressions