cfaed Publications

@mastersthesis{kurze-diplom25,
title={A Framework for Modular and Compositional Reasoning in Kôika},
author={Max Kurze},
year={2025},
month=mar,
school={TU Dresden},
}