@inproceedings{ohearn_fromCat2015,
 title = {From Categorical Logic to Facebook Engineering},
 author = {O'Hearn, Peter},
 year = {2015},
 doi = {10.1109/LICS.2015.11},
 booktitle = {2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science},
 volume = {},
 number = {},
 pages = {17-20},
 keywords = {Semantics;Facebook;Computer science;Mathematical model;Cognition;Syntactics;Shape}
}