Inductive data types: Well-ordering types revisited (0)

by H Goguen, Z Luo
Venue:Logical Environments