From Categorical Logic to Facebook Engineering Peter O’Hearn Facebook - University College of Engineering - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-11-08 08:48:18		From Categorical Logic to Facebook Engineering Peter O’Hearn Facebook & University College London Abstract I chart a line of development from category-theoretic Add to Reading List Source URL: research.fb.com Download Document from Source Website File Size: 175,14 KB Share Document on Facebook