A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]
163 by pmoriarty | 9 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
Article URL: https://www.dropsitenews.com/p/meta-facebook-tech-copyright-privacy-whistleblower Comments URL: https://news.ycombinator.com/i...
-
By BY THE NEW YORK TIMES from NYT U.S. https://ift.tt/2JDppgp via IFTTT
No comments:
Post a Comment