pi-calculus in (Co)Inductive Type Theories

Honsell F, Miculan Marino, Scagnetto Ivan
2001-01-01
Cite
Type
Journal article