Publisher
Springer International Publishing
Reference32 articles.
1. Agda’s Documentation (2018).
http://agda.readthedocs.io/en/latest/language/reflection.html
2. Abbott, M., Altenkirch, T., Ghani, N.: Containers: constructing strictly positive types. Theor. Comput. Sci. 342(1), 3–27 (2005)
3. Altenkirch, T.: Containers in homotopy type theory, talk at Mathematical Structures of Computation, January 2014
4. Lecture Notes in Computer Science;T Altenkirch,2007
5. Angiuli, C., Harper, R., Wilson, T.: Computational higher-dimensional type theory. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL, Paris, France, pp. 680–693, January 2017