A Rose Tree Is Blooming (Proof Pearl)
Abstract
Game trees are a fundamental mathematical abstraction for analyzing games, often implemented as rose trees in functional programming. We can construct rose trees by starting from an initial state and iteratively applying the function that provides the states one move away, an approach known as an anamorphism (or colloquially, an unfold).
Fields of Study & Subjects
Artificial Intelligence in Games
Logic
programming
and type systems
Advanced Graph Theory Research
Publication details
- Pages
- 264–278
- Publication date
- 8 January 2026