"Rho-Calculi for Computation and Logic (Invited Talk)."

Claude Kirchner (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics