Structural Induction and Coinduction in a Fibrational Setting (1997)

Cached

Download Links

by Claudio Hermida , Bart Jacobs
Venue:Information and Computation
Citations:68 - 14 self