European Symposium on Programming (ESOP) Lecture Notes in Computer Science Lecture Notes in Computer Science-Programming Languages and Systems Krebbers, R, Jung, R, Bizjak, A, Jourdan, J-H, Dreyer, D & Birkedal, L 2017, The Essence of Higher-Order Concurrent Separation Logic . in H Yang (ed.), Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017, Proceedings . Springer VS, Springer, Berlin, Heidelberg, Lecture Notes in Computer Science, pp. 696-723, European Symposium on Programming, Uppsala, Sweden, 22/04/2017 . https://doi.org/10.1007/978-3-662-54434-1_26 Programming Languages and Systems Programming Languages and Systems ISBN: 9783662544334 ESOP