Bergstra JA, Burgess M. Promise Theory and the Alignment of Context, Processes, Types, and Transforms. Transmath [Internet]. 2021Feb.26 [cited 2026Aug.31];. Available from: https://www.transmathematica.org/index.php/journal/article/view/43