SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Annals of Pure and Applied Logic

Volumn 114, Issue 1-3, 2002, Pages 117-153

Intrinsic reasoning about functional programs I: First order theories

(1) Leivant, Daniel a

a INDIANA UNIVERSITY (United States)

Author keywords

Curry Howard morphisms; Equational programs; First order arithmetic; Free algebras; Intrinsic theories

Indexed keywords

EID: 0037089744 PISSN: 01680072 EISSN: None Source Type: Journal
DOI: 10.1016/S0168-0072(01)00078-1 Document Type: Article

Times cited : (16)

References (20)

1
- 84959697692
- On the structure of abstract algebras
- (1935) Proc. Cambridge Phil. Soc , vol.31 , pp. 433-454
- Birkhoff, G.¹

2
- 0008103322
- About primitive recursive algorithms
- G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (Eds.), Stresa, Italy, Lecture Notes in Computer Science, Springer, Berlin, July
- (1989) Proc. 16th Int. Coll. on Automata, Languages and Programming , vol.372 , pp. 194-206
- Colson, L.¹

3
- 0001796972
- Classically and intuitionistically provable recursive functions
- G.H. Muller, D.S. Scott (Eds.), North-Holland, Amsterdam
- (1978) Higher Set Theory , pp. 21-28
- Friedman, H.¹

4
- 84977256167
- Über eine bisher noch nicht benutzte erweiterung des finiten standpunktes
- (1958) Dialectica , vol.12 , pp. 280-287
- Godel, K.¹

5
- 0003691342
- From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931
- Harvard University Press, Cambridge, MA
- (1967)
- van Heijenoort, J.¹

6
- 0002386430
- The formulae-as-types notion of construction
- J.P. Seldin, J.R. Hindley (Eds.), To H.B. Curry: Essays on Combinatory Logic, Academic Press, New York, 1980. Preliminary manuscript:
- (1969) Lambda Calculus and Formalism , pp. 479-490
- Howard, W.A.¹

7
- 0004210235
- Wolters-Noordhof, Groningen
- (1952) Introduction to Metamathematics
- Kleene, S.C.¹

8
- 0003326043
- Mathematical logic
- T. Saaty (Ed.), Wiley, New York
- (1965) Lectures on Modern Mathematics , vol.3 , pp. 95-195
- Kreisel, G.¹

9
- 0008013146
- Strong normalization for arithmetic
- J. Diller, G.E. Mueller (Eds), Springer, Berlin
- (1975) Proof Theory, Lecture Notes in Mathematics , vol.500 , pp. 182-197
- Leivant, D.¹

10
- 0020890390
- Reasoning about functional programs and complexity classes associated with type disciplines
- Washington, IEEE Computer Society Press, Silver Spring, MD
- (1983) Proc. 24th Ann. Symp. on the Foundations of Computer Science , pp. 460-469
- Leivant, D.¹

11
- 0000290860
- Contracting proofs to programs
- P. Odifreddi (Ed.), Academic Press, London
- (1990) Logic and Computer Science , pp. 279-327
- Leivant, D.¹

12
- 0002256249
- Ramified recurrence and computational complexity I: World recurrence and poly-time
- P. Clote, J. Remmel (Eds.), Birkhauser-Boston, New York
- (1994) Feasible Mathematics II, Perspectives in Computer Science , pp. 320-343
- Leivant, D.¹

13
- 84957695133
- Intrinsic theories and computational complexity
- D. Leivant (Ed.), Lecture Notes in Computer Science Springer, Berlin
- (1995) Logic and Computational Complexity , vol.960 , pp. 177-194
- Leivant, D.¹

14
- 0000336115
- Universal algebra
- D.M. Gabbay, S. Abramsky, T.S.E. Maibaum (Eds.), Oxford University Press, Oxford
- (1992) Handbook of Logic in Computer Science , pp. 189-411
- Meinke, K.¹ Tucker, J.V.²

15
- 0003648368
- Kluwer, Dordrecht
- (1994) Universal Algebra, Algebraic Logic, and Databases
- Plotkin, B.¹

16
- 0003427959
- Almqvist and Wiksell, Uppsala
- (1965) Natural Deduction
- Prawitz, D.¹

17
- 77956963145
- Ideas and results in proof theory
- J.E. Fenstad (Ed.), North-Holland, Amsterdam
- (1971) Proc. 2nd Scandinavian Logic Symp , pp. 235-307
- Prawitz, D.¹

18
- 0001007710
- Über die Bausteine der mathematischen Logik
- (English translation: On the building blocks of mathematical logic, in [5, pp. 355-366])
- (1924) Mathematische Annalen , vol.92 , pp. 305-316
- Schönfinkel, M.¹

19
- 0003714780
- Lecture Notes in Mathematics, Springer, Berlin
- (1973) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis , pp. 344
- Troelstra, A.S.¹

20
- 0003582480
- Springer, Berlin
- (1992) Universal Algebra for Computer Scientists
- Wechler, W.¹

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