amorim_witzman_kozen_2025:
  type: article
  title: Classical Linear Logic in Perfect Banach Lattices
  author:
  - Amorim, Pedro H. Azevedo de
  - Witzman, Leon
  - Kozen, Dexter
  date: 2025
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.44
  serial-number:
    doi: 10.4230/LIPIcs.CSL.2025.44
  parent:
    type: proceedings
    title: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
    publisher: Schloss Dagstuhl
    parent:
      type: proceedings
      title: LIPIcs