pi-calculus in (Co)Inductive Type Theories