Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS

First Page		Document Content
Date: 2012-08-29 08:54:52 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Differential topology Symbol Table of stars with Bayer designations		Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 326,30 KB Share Document on Facebook