pi-calculus in (Co)Inductive Type Theory (2001)

by Furio Honsell , Marino Miculan , Ivan Scagnetto
Venue:Theoretical Computer Science
Citations:13 - 1 self