Back to Results
First PageMeta Content
Poetry / Jabberwocky / Coq / Thierry Coquand / Vorpal sword / Homological algebra / Alice in Wonderland / Nonce words / Literature


V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack
Add to Reading List

Document Date: 2012-02-29 08:17:25

Open Document

File Size: 2,21 MB

Share Result on Facebook
UPDATE