Type theory friends: is there any work out there looking into the relationship between indexed inductive types and inductive recursive types?
Conversation
I think these two are not really compatible..., or their common generalisation wouldn't make sense.
The following media includes potentially sensitive content. Change settings
View
1
1