Search results

Jump to: navigation, search
Result 1 of 1
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  

Create the page "Jacques-Henri Jourdan" on this wiki! See also the page found with your search.

  • POPL 2018
    ...eh Shan, Mathias Fleury, Andreas Lochbihler, Andrei Popescu, Jacques-Henri Jourdan, Robbert Krebbers * Jacques-Henri Jourdan, Robbert Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent
    4 KB (472 words) - 15:41, 9 July 2020
Retrieved from "https://www.openresearch.org/wiki/Special:Search"