The power of parameterization in coinductive proof

ppcp.pdf
PDF file

In  the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)

Publisher  ACM

Details

TypeInproceedings
> Publications > The power of parameterization in coinductive proof