Calculus in coinductive form
Dusko ́cPavlovi and Martín Escardó
Details
| Book Title |
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science |
| Editor |
V. Pratt |
| Pages |
408–417 |
| Publisher |
IEEE Computer Society |
| Year |
1998 |
Links
Related pages
|
People |