When Is a Type Refinement an Inductive Type?

Robert Atkey, Patricia Johann, Neil Ghani

Browse the full FOSSACS paper archive.