arXiv:1611.09263 [cs.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords guarded cubical type theory, cube category, computational interpretation, guarded recursive types, supporting non-trivial equality proofs Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset