CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
pi-calculus in (Co)Inductive Type Theories
Honsell F
,
Miculan Marino
,
Scagnetto Ivan
2001-01-01
Cite
Type
Journal article
Cite
×