fiore_plotkin_1997:
  type: chapter
  title: An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory
  author:
  - Fiore, Marcelo P.
  - Plotkin, Gordon D.
  date: 1997
  page-range: 129-149
  url: http://dx.doi.org/10.1007/3-540-63172-0_36
  serial-number:
    doi: 10.1007/3-540-63172-0_36
    isbn: '9783540692010'
    issn: 1611-3349
  parent:
    type: book
    title: Computer Science Logic
    publisher: Springer Berlin Heidelberg