Search results

Create the page "Olivier" on this wiki! See also the search results found.

• WG211/M10Danvy
  '''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
• WG211/M10Schedule
  ...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
• WG211/M5Schedule
  <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
• WG211/M6Schedule
  Olivier Danvy
  6 KB (903 words) - 15:43, 16 December 2011
• WG211/M11Schedule
  ...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
• Main Page
  |[https://www.yale-nus.edu.sg/faculty/olivier-danvy/ Olivier Danvy] (<del>DK</del> SG)
  6 KB (937 words) - 21:17, 30 December 2024