Structural Induction and Coinduction in a Fibrational Setting (1997)

View PDF

Download Links

by Claudio Hermida , Bart Jacobs
Venue:Information and Computation
Citations:81 - 16 self