π-calculus in (Co)inductive-type theory
Furio Honsell, Marino Miculan, Ivan ScagnettoVolume:
253
Year:
2001
Language:
english
Pages:
47
DOI:
10.1016/s0304-3975(00)00095-5
File:
PDF, 312 KB
english, 2001