Publisher
Springer International Publishing
Reference36 articles.
1. Altenkirch, T., Kaposi, A.: Type theory in type theory using quotient inductive types. In: Principles of Programming Languages, pp. 18–29. ACM (2016)
2. Lecture Notes in Computer Science;T Altenkirch,2017
3. Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N., Nordvall Forsberg, F.: Quotient inductive-inductive types (2018). arXiv:1612.02346
4. Angiuli, C., Morehouse, E., Licata, D.R., Harper, R.: Homotopical patch theory. In: International Conference on Functional Programming, pp. 243–256 (2014)
5. Awodey, S., Warren, M.A.: Homotopy theoretic models of identity types. Math. Proc. Camb. Philos. Soc. 146(1), 45–55 (2009)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quotient Haskell: Lightweight Quotient Types for All;Proceedings of the ACM on Programming Languages;2024-01-05
2. Two-level type theory and applications;Mathematical Structures in Computer Science;2023-05-30
3. Type-theoretic approaches to ordinals;Theoretical Computer Science;2023-05
4. Impredicative Encodings of Inductive-Inductive Data in Cedille;Lecture Notes in Computer Science;2023
5. Constructing Initial Algebras Using Inflationary Iteration;Electronic Proceedings in Theoretical Computer Science;2022-11-03