Generative Unbinding of Names
Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-4(1:4)2008
Full Text
Open PDFAbstract
Available in full text
Date
March 18, 2008
Authors
Publisher
Logical Methods in Computer Science e.V.
Available in full text
March 18, 2008
Logical Methods in Computer Science e.V.