A finite axiomatization of inductive-recursive definitions (1999)

by Peter Dybjer , Anton Setzer
Venue:Typed Lambda Calculi and Applications, volume 1581 of Lecture Notes in Computer Science
Citations:43 - 14 self