Inductive data types: well-ordering types revisited

• Authors:

• Healfdene Goguen;Zhaohui Luo

• Affiliations:

• -;-

• Venue:
• Papers presented at the second annual Workshop on Logical environments
• Year:
• 1993