Inductive Data Type

Explained in CoinductiveDataType

View edit of November 19, 2008 or FindPage with title or text search