Inductive Data Type

Explained in CoinductiveDataType

EditText of this page (last edited November 19, 2008) or FindPage with title or text search