메뉴 건너뛰기




Volumn 2142, Issue , 2001, Pages 570-584

Markov’s principle for propositional type theory

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; SEMANTICS;

EID: 23044528884     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44802-0_40     Document Type: Conference Paper
Times cited : (14)

References (20)
  • 10
    • 84944185662 scopus 로고    scopus 로고
    • MetaPRL home page
    • Jason J. Hickey, Aleksey Nogin, et al. MetaPRL home page. http://metaprl.org/.
    • Hickey, J.J.1    Nogin, A.2
  • 11
    • 0003586320 scopus 로고
    • PhD thesis, University of Edinburgh, Laboratory for Foundations of Computer Science
    • Martin Hofmann. Extensional concepts in intensional Type theory. PhD thesis, University of Edinburgh, Laboratory for Foundations of Computer Science, 1995.
    • (1995) Extensional Concepts in Intensional Type Theory
    • Hofmann, M.1
  • 12
    • 0040901896 scopus 로고
    • On the continuity of constructive function
    • Russian
    • A.A. Markov. On the continuity of constructive function. Uspekhi Matematicheskikh Nauk, 9/3(61):226–230, 1954. In Russian.
    • (1954) Uspekhi Matematicheskikh Nauk , vol.9-3 , Issue.61 , pp. 226-230
    • Markov, A.A.1
  • 13
    • 0007931851 scopus 로고
    • Trudy Matematicheskogo Instituta imeni V.A. Steklova, In Russian. English Translation: A.M.S. Translations, series 2, vol.98, pp. 1-9. MR 27#3528
    • A.A. Markov. On constructive mathematics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, 67:8–14, 1962. In Russian. English Translation: A.M.S. Translations, series 2, vol.98, pp. 1-9. MR 27#3528.
    • (1962) On Constructive Mathematics , vol.67 , pp. 8-14
    • Markov, A.A.1
  • 16
    • 84981379802 scopus 로고
    • The Friedman translation for Martin-Löf’s type theory
    • Erik Palmgren. The Friedman translation for Martin-Löf’s type theory. Mathematical Logic Quarterly, 41:314–326, 1995.
    • (1995) Mathematical Logic Quarterly , vol.41 , pp. 314-326
    • Palmgren, E.1
  • 17
    • 0034864194 scopus 로고    scopus 로고
    • Intensionality, extensionality, and proof irrelevance in modal type theory
    • Boston, Massachusetts, June 2001. LICS. To appear
    • Frank Pfenning. Intensionality, extensionality, and proof irrelevance in modal type theory. In Proceedings of the 16th Annual Symposium on Logic in Computer Science, Boston, Massachusetts, June 2001. LICS. To appear.
    • Proceedings of the 16Th Annual Symposium on Logic in Computer Science
    • Pfenning, F.1
  • 19
    • 0039073596 scopus 로고
    • Constructivism in Mathematics
    • North-Holland, Amsterdam
    • A.S. Troelstra and D. van Dalen. Constructivism in Mathematics, An Introduction, Vol. I,II. North-Holland, Amsterdam, 1988.
    • (1988) An Introduction , vol.1-2
    • Troelstra, A.S.1    Van Dalen, D.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.