Equational Theories for Inductive Types (1997)

Cached

Download Links

by Ralph Loader
Venue:Annals of Pure and Applied Logic
Citations:7 - 0 self