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

First Page	Meta Content
	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 Document Date: 2016-10-22 08:34:38 Open Document File Size: 473,57 KB Share Result on Facebook

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