Axiomatic Language http: www.axiomaticlanguage.org Walter W. Wilson Lockheed Martin Emerging Languages Camp Strange Loop 2013 - Axiomatic system - Document - PDFSEARCH.IO

First Page	Meta Content
	Axiomatic Language http://www.axiomaticlanguage.org/ Walter W. Wilson Lockheed Martin Emerging Languages Camp Strange Loop 2013 Add to Reading List Document Date: 2013-09-23 18:11:56 Open Document File Size: 451,60 KB Share Result on Facebook Company Lockheed Martin / / Currency USD / / Person Walter W. Wilson / W. Wilson Lockheed Martin Emerging / / URL http / SocialTag Computing S-expression Function Axiom Expression Type system Type theory CAL Actor Language Regular expression Mathematics

Axiomatic Language http://www.axiomaticlanguage.org/ Walter W. Wilson Lockheed Martin Emerging Languages Camp Strange Loop 2013Add to Reading List