Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

Thumbnail Image

Files

Primary 143746.pdf (516.04 KB)

Date

2015

Authors

Gabbay, M.J.
Ghica, D.R.
Petrisan, D.L. Daniela Luana

Journal Title

Journal ISSN

Volume Title

Publisher

Dagstuhl : Schloss Dagstuhl

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Leibniz International Proceedings in Informatics

Citation

URI

https://hdl.handle.net/2066/143746

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By