gratzer-2025-idempotent:
  type: chapter
  title: 'Idempotent Resources in Separation Logic: The Heart of core in Iris'
  author:
  - Gratzer, Daniel
  - Møller, Mathias Adam
  - Birkedal, Lars
  date: 2025
  page-range: 45-66
  url: http://dx.doi.org/10.1007/978-3-031-90897-2_3
  serial-number:
    doi: 10.1007/978-3-031-90897-2_3
    isbn: '9783031908972'
    issn: 1611-3349
  parent:
    type: book
    title: Foundations of Software Science and Computation Structures
    publisher: Springer Nature Switzerland