Indexed Induction-Recursion (2001)

by Peter Dybjer , Anton Setzer
Citations:44 - 16 self