Back to Results
First PageMeta Content



The Discriminating Power of Higher-Order Languages: A Process Algebraic Approach Valeria Vignudelli University of Bologna & Inria FOCUS (joint work with Marco Bernardo and Davide Sangiorgi)
Add to Reading List

Document Date: 2016-04-22 04:17:31


Open Document

File Size: 183,70 KB

Share Result on Facebook