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, - Namespace - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2014-09-16 06:39:35 Open Document File Size: 205,34 KB Share Result on Facebook

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