An Algebraic View of Structural Induction (1994)

Cached

Download Links

by Claudio Hermida , Bart Jacobs
Venue:Computer Science Logic 1994, number 933 in Lect. Notes Comp. Sci
Citations:9 - 5 self