Cynthia Kop

Eine neue Methode zur Analyse funktionaler Programme mit höherordentlichen Termumformungssystemen.

2025-10-15T22:07:06+00:00 ― 6 min Lesedauer

Dieser Artikel untersucht Call-by-Value-Höhere-Ordnung-Rewriting in der Programmierung.

2025-10-15T20:56:00+00:00 ― 5 min Lesedauer

Eine Erkundung effizienter höherer Funktionale und deren Auswirkungen auf das Rechnen.

2025-09-15T10:03:06+00:00 ― 7 min Lesedauer

Ein neues Framework zur Analyse der Termination in höherordentlichen Funktionen.

2025-07-23T12:33:30+00:00 ― 7 min Lesedauer