SCOPUS 정보 검색 플랫폼

Volumn 308, Issue 1-3, 2003, Pages 259-276

Dependent choice, 'quote' and the clock

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PROGRAMMING THEORY; THEOREM PROVING;

PROGRAMMING INSTRUCTIONS;

COMPUTER SCIENCE;

EID: 0142124726 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(02)00776-4 Document Type: Article

Times cited : (74)

References (14)

1
- 0032222043
- On the computational content of the axiom of choice
- Berardi S., Bezem M., Coquand T. On the computational content of the axiom of choice. J. Symbolic Logic. 63:1998;600-622.
- (1998) J. Symbolic Logic , vol.63 , pp. 600-622
- Berardi, S.¹ Bezem, M.² Coquand, T.³

2
- 84919530228
- preprint
- U. Berger, P. Oliva, Modified bar recursion and classical dependent choice, preprint.
- Modified Bar Recursion and Classical Dependent Choice
- Berger, U.¹ Oliva, P.²

3
- 0013548862
- A semantics of evidence for classical arithmetic
- Coquand T. A semantics of evidence for classical arithmetic. J. Symbolic Logic. 60:1995;325-337.
- (1995) J. Symbolic Logic , vol.60 , pp. 325-337
- Coquand, T.¹

5
- 0025211131
- A formulæ-as-type notion of control
- T. Griffin, A formulæ-as-type notion of control, in: Conference Record of the 17th ACM Symp. on Principles of Programming Languages, 1990.
- (1990) Conference Record of the 17th ACM Symp. on Principles of Programming Languages
- Griffin, T.¹

6
- 0033262169
- On the no-counter-example interpretation
- Kohlenbach U. On the no-counter-example interpretation. J. Symbolic Logic. 64:1999;1491-1511.
- (1999) J. Symbolic Logic , vol.64 , pp. 1491-1511
- Kohlenbach, U.¹

7
- 0001526427
- On the interpretation of non-finitist proofs, part I
- Kreisel G. On the interpretation of non-finitist proofs, part I. J. Symbolic Logic. 16:1951;241-267.
- (1951) J. Symbolic Logic , vol.16 , pp. 241-267
- Kreisel, G.¹

8
- 0001818114
- On the interpretation of non-finitist proofs, part II: Interpretation of number theory, applications
- Kreisel G. On the interpretation of non-finitist proofs, part II. interpretation of number theory, applications J. Symbolic Logic. 17:1952;43-58.
- (1952) J. Symbolic Logic , vol.17 , pp. 43-58
- Kreisel, G.¹

9
- 0142075144
- Mathematical significance of consistency proofs
- Kreisel G. Mathematical significance of consistency proofs. J. Symbolic Logic. 23:1958;155-182.
- (1958) J. Symbolic Logic , vol.23 , pp. 155-182
- Kreisel, G.¹

10
- 0028445969
- A general storage theorem for integers in call-by-name λ -calculus
- Krivine J.-L. A general storage theorem for integers in call-by-name. λ -calculus Theoret. Comput. Sci. 129:1994;79-94.
- (1994) Theoret. Comput. Sci. , vol.129 , pp. 79-94
- Krivine, J.-L.¹

11
- 0035645637
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory
- Krivine J.-L. Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Arch. Math. Logic. 40(3):2001;189-205.
- (2001) Arch. Math. Logic , vol.40 , Issue.3 , pp. 189-205
- Krivine, J.-L.¹

13
- 0004031733
- Reading, MA: Addison-Wesley
- Shoenfield J.R. Mathematical Logic. 1967;Addison-Wesley, Reading, MA.
- (1967) Mathematical Logic
- Shoenfield, J.R.¹

14
- 0142075145
- Amsterdam: North-Holland
- Takeuti G. Proof Theory. Studies in Logic and Foundations of Mathematics. 1987;North-Holland, Amsterdam.
- (1987) Proof Theory. Studies in Logic and Foundations of Mathematics
- Takeuti, G.¹

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