Program Testing and the Meaning Explanations of Intuitionistic Type Theory-Reference-Cited by-同舟云学术

Program Testing and the Meaning Explanations of Intuitionistic Type Theory

Published:2012 Issue: Volume: Page:215-241
ISSN:
Container-title:Epistemology versus Ontology
language:
Short-container-title:

Author:

Dybjer Peter

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-007-4435-6_11.pdf

Reference38 articles.

1. Aczel, P. 1977a. An introduction to inductive definitions. In Handbook of mathematical logic, ed. J. Barwise, 739–782. Amsterdam: North-Holland.

2. Aczel, P. 1977b. The strength of Martin-Löf’s type theory with one universe. In Proceedings of the symposium on mathematical logic (Oulu 1974), ed. S. Miettinen and J. Väänanen, 1–32. Report No 2 of Department of Philosophy, University of Helsinki.

3. Aczel, P. 1980. Frege structures and the notions of proposition, truth, and set. In The kleene symposium, ed. J. Barwise, H.J. Keisler, and K. Kunen, 31–59. Amsterdam: North-Holland.

4. Allen, S.F. 1987a A non-type-theoretic definition of Martin-Löf’s types. In Proceedings of second IEEE symposium on logic in computer Science, New York, 215–224.

5. Allen, S.F. 1987b. A Non-type-theoretic semantics for type-theoretic language. Ph.D. thesis, Cornell University.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED;The Review of Symbolic Logic;2023-06-27

2. What Types Should Not Be†;Philosophia Mathematica;2019-08-17

3. A meaning explanation for HoTT;Synthese;2019-01-01

4. Game Semantics and Normalization by Evaluation;Lecture Notes in Computer Science;2015

5. Conclusions and Work in Progress;Linking Game-Theoretical Approaches with Constructive Type Theory;2015