Nikolaj Hey Hinnerskov

Research Assistant

Programming Languages and Theory of Computation

Universitetsparken 1, 2100 København Ø

E-mail: nihi@di.ku.dk