Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan. Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. Volume 41 of LIPIcs, pages 374-389, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

This author has not been identified. Look up 'Murdoch James Gabbay' in GoogleIdentified as Dan R. Ghica This author has not been identified. Look up 'Daniela Petrisan' in Google

runs on WebDSL