Browse
All of ApolloCommunities & CollectionsAuthorsTitlesKeywordsTypeThis CollectionAuthorsTitlesKeywordsType
Discover
AuthorJones, Timothy M. (8)Rice, Andrew (6)Jones, Timothy (5)Ainsworth, Sam (4)Contrastin, Mistral (3)... View MoreKeywordscubical sets (4)homotopy type theory (4)Android (3)cubical type theory (3)LLVM (3)... View MoreAffiliationCambridge (23)Department of Computer Science and Technology (22)UAS Academic Division (16)Project Area, Networks and Inititatives (13)Department of Engineering (1)... View MoreTypeDataset (41)Software (3)Report (1)Date published2016 (5)2015 (7)
