Fingerprint
Dive into the research topics of 'Well-definedness and observational equivalence for inductive-coinductive programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Well-definedness and observational equivalence for inductive-coinductive programs
Henning Basold, Helle Hvid Hansen
Research output: Contribution to journal › Article › Scientific › peer-review
42
Downloads
(Pure)