Saarland University Computer Science


Seminar: Category Theory Prof. Gert Smolka, Steven Schäfer, Yannick Forster, Jonas Kaiser, Kathrin Stark, Dominik Kirst