DMCA
Structural Induction and Coinduction in a Fibrational Setting (1997)
by
Claudio Hermida
,
Bart Jacobs
Venue: | Information and Computation |
Citations: | 85 - 16 self |