Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

First Page		Document Content
Date: 2018-08-14 14:33:44		Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo Add to Reading List Source URL: metatheorem.org Download Document from Source Website File Size: 70,89 KB Share Document on Facebook