On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Search results
From WG 2.11
Jump to navigationJump to search
- '''On Leftmost Outermost Disjunctive Normalization''' by Olivier Danvy (joint work with Jacob Johannsen and Ian Zerny) ...948 bytes (128 words) - 12:06, 12 December 2011
- ...ie Balland, Julien Bruneau, Jacques Carette, Charles Consel, William Cook, Olivier Danvy, Jens Doerre, Bernd Fischer, Kevin Hammond, Christoph Herrmann, Mark *[[WG211/M10Danvy | On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy<br> ...7 KB (1,054 words) - 12:57, 20 December 2011
- <li> Olivier Danvy: [[Media:danvy.pdf | A connection between calculi with a strongly nor Olivier Danvy, ...8 KB (1,198 words) - 15:40, 16 December 2011
- ...Emilie Balland, Eric Bodden, Edwin Brady, Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Gorel Hedin, Christoph He * [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]] ...12 KB (1,744 words) - 18:23, 17 July 2013
- |[https://www.yale-nus.edu.sg/faculty/olivier-danvy/ Olivier Danvy] (<del>DK</del> SG) ...6 KB (917 words) - 16:13, 27 August 2025
- Olivier Danvy ...6 KB (903 words) - 15:43, 16 December 2011
