Browse
All of ApolloCommunities & CollectionsAuthorsTitlesKeywordsTypeThis CollectionAuthorsTitlesKeywordsType
Discover
AuthorJones, Timothy M. (23)Ainsworth, Sam (12)Mantiuk, Rafal (7)Pitts, Andrew (7)Rice, Andrew (7)... View MoreKeywordscubical sets (4)homotopy type theory (4)LLVM (4)type theory (4)Android (3)... View MoreAffiliationCambridge (53)Department of Computer Science and Technology (52)UAS Academic Division (52)Project Area, Networks and Initiatives (29)Department of Engineering (1)... View MoreTypeDataset (67)Software (4)Date published2016 (4)2015 (6)