Publisher
Springer International Publishing
Reference74 articles.
1. J. Barwise;P Aczel,1977
2. Aczel, P. 1978. The type theoretic interpretation of constructive set theory. In Logic colloquium ’77, ed. A. MacIntyre, L. Pacholski, and J. Paris, 55–66. New York: Amsterdam.
3. Aczel, P. 1986. The type theoretic interpretation of constructive set theory: Inductive definitions. In Logic, methodology, and philosophy of science VII, ed. R.B. Marcus, G.J. Dorn, and G.J.W. Dorn, 17–49. New York: Amsterdam.
4. AGDA. 2020. Agda wiki. Available at http://wiki.portal.chalmers.se/agda/pmwiki.php.
5. Barbanera, F., and S. Berardi. 1996. Proof-irrelevance out of excluded-middle and choice in the calculus of constructions. Journal of Functional Programming 6(3): 519–525.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献