An interpretation of Typed Objects into Typed π-calculus (1996)

Cached

Download Links

by Davide Sangiorgi , Davide Sangiorgi , Projet Meije
Citations:8 - 0 self