DMCA

Linearity and the Pi-Calculus (1999)

by Naoki Kobayashi , Benjamin C. Pierce , David N. Turner
Citations:175 - 17 self