Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Peter Aczel. An introduction to inductive definitions. In J. Barwise, editor, Handbook of Mathematical Logic, pages 739-782. North-Holland, 1977.
2. Peter Aczel. The type theoretic interpretation of constructive set theory. In Logic, Methodology and Philosophy of Science VII, pages 17-49. Elsevier Science Publishers, 1986.
3. Stuart F. Allen. A non-type-theoretic semantics for type-theoretic language. PhD thesis, Cornell University, 1987.
4. Stuart F. Allen. A Non-type-theoretic Definition of Martin-Löf’s Types. In Proc. of Second Symp. on Logic in Comp. Sci., pages 215-224. IEEE, June 1987.
5. R. C. Backhouse, P. Chisholm, G. Malcolm, and E. Saaman. Do-it-yourself type theory (part I). Formal Aspects of Computing, 1:19–84, 1989.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type Theory based on Dependent Inductive and Coinductive Types;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
2. Unifying Sets and Programs via Dependent Types;Logical Foundations of Computer Science;2008
3. Proofs of Correctness in Mathematics and Industry;Wiley Encyclopedia of Computer Science and Engineering;2007-12-14
4. Protocols between Programs and Proofs;Logic Based Program Synthesis and Transformation;2001