• Medientyp: E-Artikel
  • Titel: A characterisation of the least-fixed-point operator by dinaturality
  • Beteiligte: Simpson, Alex K.
  • Erschienen: Elsevier BV, 1993
  • Erschienen in: Theoretical Computer Science, 118 (1993) 2, Seite 301-314
  • Sprache: Englisch
  • DOI: 10.1016/0304-3975(93)90112-7
  • ISSN: 0304-3975
  • Schlagwörter: General Computer Science ; Theoretical Computer Science
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang