About
ApolloGovernance and policiesHow to depositRepository preservationRepository terms of useNotice and TakedownRepository service level
Browse
All of ApolloCommunities & CollectionsAuthorsTitlesKeywordsTypeThis CollectionAuthorsTitlesKeywordsType
Discover
AuthorJones, Timothy M (18)Ainsworth, Sam (14)Pitts, Andrew (10)Mantiuk, Rafal (9)Jones, Timothy M. (6)... View MoreKeywordsdependent type theory (5)cubical sets (4)fault tolerance (4)homotopy type theory (4)LLVM (4)... View MoreAffiliationCambridge (66)Department of Computer Science and Technology (65)UAS Academic Division (65)Project Area, Networks and Initiatives (36)Department of Computer Science And Technology (6)... View MoreTypeDataset (85)Software (6)Date published2016 (4)2015 (6)