16 citations · 82 across the 19 of their papers we have counts for
1 paper · 1 filter
Roly Perera, James Cheney
Formalising the pi-calculus is an illuminating test of the expressiveness of logical frameworks and mechanised metatheory systems, because of the presence of name binding, labelled…