Inductive and Coinductive Components of Corecursive Functions in Coq

Yves Bertot*, Ekaterina Komendantskaya

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Filter
Finished

Search results