call-by-value and call-by-name, kleisli and cokleisli

• call-by-value
• call-by-name

References

• Classical notions of computation and the Hasegawa-Thielecke theorem (Mangel, Melliès, Munch-Maccagnoni, 2025)