External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards a model of corecursion with default

Davide Ancona, Francesco Dagnino, Elena Zucca. Towards a model of corecursion with default. In Vladimir Klebanov, editor, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. pages 9, ACM, 2016. [doi]

Authors

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Francesco Dagnino

This author has not been identified. Look up 'Francesco Dagnino' in Google

Elena Zucca

This author has not been identified. Look up 'Elena Zucca' in Google
runs on