new_licata_2020_lmcs:
  type: article
  title: Call-by-name Gradual Type Theory
  author:
  - New, Max S.
  - Licata, Daniel R.
  date: 2020
  page-range: 7:1–7:45
  url: https://arxiv.org/abs/1802.00061
  serial-number:
    doi: 10.23638/LMCS-16(1:7)2020
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    issue: 1
    volume: 16