Namespace logic: A logic for a reflective higher-order calculus L.G. Meredith1 and Matthias Radestock2 1 CTO, Djinnisys Corporation 505 N72nd St, Seattle, WA 98103, USA,

First Page		Document Content
Date: 2014-09-16 06:39:35		Namespace logic: A logic for a reflective higher-order calculus L.G. Meredith1 and Matthias Radestock2 1 CTO, Djinnisys Corporation 505 N72nd St, Seattle, WA 98103, USA, Add to Reading List Source URL: www.lshift.net Download Document from Source Website File Size: 205,34 KB Share Document on Facebook