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
call-by-name call-by-value by-name by-value definitions termination expressions Boolean expressions evaluation conditional expressions