The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers1 , Ralf Jung2 , Ale˘s Bizjak3 , Jacques-Henri Jourdan2 , Derek Dreyer2 , and Lars Birkedal3 1

First Page		Document Content
Date: 2016-10-22 08:34:38		The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers1 , Ralf Jung2 , Ale˘s Bizjak3 , Jacques-Henri Jourdan2 , Derek Dreyer2 , and Lars Birkedal3 1 Add to Reading List Source URL: robbertkrebbers.nl Download Document from Source Website File Size: 473,57 KB Share Document on Facebook