Michael Youssef, M.Sc.
| youssef at rptu dot de | |
| Phone | +49 - 631 - 205 - 33 25 |
| Fax | +49 - 631 - 205 - 34 20 |
| Postal address | TU Kaiserslautern Fachbereich Informatik, Gebäude 34 Postfach 30 49 D-67653 Kaiserslautern |
| Visitor address | Gebäude 34, Raum 407 Gottlieb-Daimler-Str. Zugang über Paul-Ehrlich-Str. D-67653 Kaiserslautern Google-Karte |
Publications
Shortest Paths, Pigeonholes and Finite Sets: A Constructive Proof in Agda. IFL ’24: Proceedings of the 36th Symposium on Implementation and Application of Functional Languages.
