Indexed Induction-Recursion (2001)

by Peter Dybjer , Anton Setzer
Citations:43 - 15 self