Michael Florentin Nielsen

According to our database, Michael Florentin Nielsen authored at least 2 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Environment classifiers.

Walid Taha, Michael Florentin Nielsen

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

1999

Modal logic and the Curry-Howard isomorphism.

Michael Florentin Nielsen

PhD thesis, 1999