Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B., & Vezzosi, A. (2019). Guarded Cubical Type Theory. Journal of automated reasoning, 63(2), 211-253. https://doi.org/10.1007/s10817-018-9471-7
Chicago-Zitierstil (17. Ausg.)Birkedal, Lars, Aleš Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, und Andrea Vezzosi. "Guarded Cubical Type Theory." Journal of Automated Reasoning 63, no. 2 (2019): 211-253. https://doi.org/10.1007/s10817-018-9471-7.
MLA-Zitierstil (9. Ausg.)Birkedal, Lars, et al. "Guarded Cubical Type Theory." Journal of Automated Reasoning, vol. 63, no. 2, 2019, pp. 211-253, https://doi.org/10.1007/s10817-018-9471-7.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.