munchmaccagnoni-2014-formulae:
  type: article
  title: Formulae-as-types for an involutive negation
  author: Munch-Maccagnoni, Guillaume
  date: 2014-07
  page-range: 1-10
  serial-number:
    doi: 10.1145/2603088.2603156
  parent:
    type: proceedings
    title: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    publisher: ACM