Author:
Marmaduke Andrew,Jenkins Christopher,Stump Aaron
Publisher
Springer International Publishing
Reference25 articles.
1. Altenkirch, T., Kaposi, A.: Type theory in type theory using quotient inductive types. In: Proceedings of the 43rd Annual ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, vol. 51, pp. 18–29. ACM (2016)
2. Anand, A., Bickford, M., Constable, R.L., Rahli, V.: A type theory with partial equivalence relations as types. In: 20th International Conference on Types for Proofs and Programs (2014)
3. Lecture Notes in Computer Science;L Chicli,2003
4. Lecture Notes in Computer Science;C Cohen,2013
5. Coquand, T., Huet, G.: The calculus of constructions. Ph.D. thesis, INRIA (1986)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献