Reference. Language Constructs for Non-Well-Founded Computation

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva · ESOP · 2013 · coalgebra · PDF · DOI · pldb

Cite
Cite as @jeannin-2013-language (helia, typst) · \cite{jeannin-2013-language} (LaTeX)
BibTeX
bibtex · 1 line
@inbook{jeannin-2013-language, title={Language Constructs for Non-Well-Founded Computation}, ISBN={9783642370366}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-37036-6_4}, DOI={10.1007/978-3-642-37036-6_4}, booktitle={Programming Languages and Systems}, publisher={Springer Berlin Heidelberg}, author={Jeannin, Jean-Baptiste and Kozen, Dexter and Silva, Alexandra}, year={2013}, pages={61–80} }
hayagriva YAML (typst)
yaml · 18 lines
jeannin-2013-language:
  type: chapter
  title: Language Constructs for Non-Well-Founded Computation
  author:
  - Jeannin, Jean-Baptiste
  - Kozen, Dexter
  - Silva, Alexandra
  date: 2013
  page-range: 61-80
  url: http://dx.doi.org/10.1007/978-3-642-37036-6_4
  serial-number:
    doi: 10.1007/978-3-642-37036-6_4
    isbn: '9783642370366'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Berlin Heidelberg
Download: jeannin-2013-language.bib · jeannin-2013-language.yml
Cited by (1)

CoCaml: Functional Programming with Regular Coinductive Types jeannin-2017-cocamlFundamenta Informaticae · 2017
DOI
Cites 11 works (0 here)
External (11)
jeannin-2013-language reference entries/refs/jeannin-2013-language/jeannin-2013-language.hel