Beyond inductive definitions -- induction-recursion, induction-induction, coalgebras
To upload material, you must first log in.
To upload material, you must first log in.