Carl-Johannes Johnsen
Guest Researcher
Programming Languages and Theory of Computing
https://di.ku.dk/english/research/pltc/
Universitetsparken 5, Bygning B
København Ø
E-mail:
carl-johannes@di.ku.dk
Telephone: +4535331501