Author:
Buchholtz Ulrik,Morehouse Edward
Publisher
Springer International Publishing
Reference11 articles.
1. Angiuli, C., Harper, R., Wilson, T.: Computational higher-dimensional type theory. In: POPL 2017: Proceedings of the 44th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM (2017, to appear)
2. Awodey, S.: A cubical model of homotopy type theory (2016).
arXiv:1607.06413
. Lecture notes from a series of lectures for the Stockholm Logic group
3. Bezem, M., Coquand, T., Huber, S.: A model of type theory in cubical sets. In: 19th International Conference on Types for Proofs and Programs, LIPIcs, Leibniz Leibniz International Proceedings in Informatics, vol. 26, pp. 107–128 (2014). doi:
10.4230/LIPIcs.TYPES.2013.107
. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern
4. Cohen, C., Coquand, T., Huber, S., Mörtberg, A.: Cubical type theory: a constructive interpretation of the univalence axiom. In: 21st International Conference on Types for Proofs and Programs, LIPIcs, Leibniz International Proceedings in Informatics (2016, to appear). Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern
5. Gehrke, M., Walker, C.L., Walker, E.A.: Normal forms and truth tables for fuzzy logics. Fuzzy Sets Syst. 138(1), 25–51 (2003). doi:
10.1016/S0165-0114(02)00566-3
. Selected papers from the 21st Linz Seminar on Fuzzy Set Theory (2000)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献