Structural Induction and Coinduction in a Fibrational Setting (1997)
by
Claudio Hermida
,
Bart Jacobs
| Venue: | Information and Computation |
| Citations: | 55 - 13 self |
Document Versions
| Structural Induction and Coinduction in a Fibrational Setting –Claudio Hermida, Bart Jacobs — 1997 — Information and Computation |
| Structural Induction and Coinduction in a Fibrational Setting –Claudio Hermida, Bart Jacobs — 1996 — Information and Computation |
