메뉴 건너뛰기




Volumn 5635 LNCS, Issue , 2009, Pages 467-477

Dialectica interpretation with fine computational control

Author keywords

[No Author keywords available]

Indexed keywords

REALISABILITY;

EID: 76249125012     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03073-4_48     Document Type: Conference Paper
Times cited : (5)

References (8)
  • 1
    • 14744276178 scopus 로고    scopus 로고
    • Uniform Heyting Arithmetic
    • Berger, U.: Uniform Heyting Arithmetic. Ann. Pure Appl. Logic 133(1-3), 125-148 (2005)
    • (2005) Ann. Pure Appl. Logic , vol.133 , Issue.1-3 , pp. 125-148
    • Berger, U.1
  • 2
    • 76249119341 scopus 로고    scopus 로고
    • Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. PhD thesis
    • Hernest, M.-D.: Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. PhD thesis (2007)
    • (2007)
    • Hernest, M.-D.1
  • 3
    • 84977256167 scopus 로고
    • Über eine bisher noch nicht benützte Erweiterung des finiten Standpunk-tes.
    • Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunk-tes. Dialectica 12, 280-287 (1958)
    • (1958) Dialectica , vol.12 , pp. 280-287
    • Gödel, K.1
  • 4
    • 45849101725 scopus 로고    scopus 로고
    • Hernest, M.-D., Oliva, P.: Hybrid functional interpretations. In: Beckmann, A., Dim-itracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, 5028, pp. 251-260. Springer, Heidelberg (2008)
    • Hernest, M.-D., Oliva, P.: Hybrid functional interpretations. In: Beckmann, A., Dim-itracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 251-260. Springer, Heidelberg (2008)
  • 5
    • 76249104660 scopus 로고    scopus 로고
    • Light dialectica revisited
    • Hernest, M.-D., Trifonov, T.: Light dialectica revisited. Submitted to APAL (2008), http://www.math.lmu.de/~trifonov/papers/ldrev.pdf
    • (2008) Submitted to APAL
    • Hernest, M.-D.1    Trifonov, T.2
  • 6
    • 0001776862 scopus 로고
    • Interpretation of analysis by means of constructive functionals of finite types
    • Heyting, A, ed, North-Holland Publishing Company, Amsterdam
    • Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 101-128. North-Holland Publishing Company, Amsterdam (1959)
    • (1959) Constructivity in Mathematics , pp. 101-128
    • Kreisel, G.1
  • 7
    • 55549089706 scopus 로고    scopus 로고
    • Dialectica interpretation of well-founded induction
    • Schwichtenberg, H.: Dialectica interpretation of well-founded induction. Mathematical Logic Quarterly 54(3), 229-239 (2008)
    • (2008) Mathematical Logic Quarterly , vol.54 , Issue.3 , pp. 229-239
    • Schwichtenberg, H.1
  • 8
    • 0003315261 scopus 로고
    • Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
    • Springer, Heidelberg
    • Troelstra, A.S.: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344. Springer, Heidelberg (1973)
    • (1973) Lecture Notes in Mathematics , vol.344
    • Troelstra, A.S.1


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