Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (2015)

First Author: Gabbay MJ
Attributed to:  A higher-order approach to codesign - 27659 funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=5426

Type: Conference/Paper/Proceeding/Abstract

Volume: 41