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:8 - 5 self

Document Versions

An Algebraic View of Structural Induction –Claudio Hermida, Bart Jacobs — 1994 — Computer Science Logic 1994, number 933 in Lect. Notes Comp. Sci