Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol (1995)
by
Eduardo Gimenez
| Citations: | 12 - 1 self |
Document Versions
| Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol –Eduardo Gimenez — 1995 |
