Inductive Data Types: Well-ordering Types Revisited (1992)

Cached

Download Links

by Healfdene Goguen , Zhaohui Luo
Venue:Logical Environments
Citations:8 - 1 self