Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol (1995)

Cached

Download Links

by Eduardo Gimenez
Citations:12 - 1 self