SCOPUS 정보 검색 플랫폼

Volumn 3, Issue C, 1996, Pages 15-27

Towards a Classical Linear λ-calculus (Preliminary Report)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SIMULATION; FORMAL LOGIC; GAME THEORY; MATHEMATICAL MODELS; SEMANTICS;

CLASSICAL LINEAR LOGIC (CLL); CONTINUATION PROGRAMMING; INTUITIONISTIC LOGIC (IL); PARIGOT'S TECHNIQUES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 19144368055 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80399-8 Document Type: Article

Times cited : (3)

References (13)

1
- 0001773825
- A strong normalisation result for classical logic
- (1995) Annals of Pure and Applied Logic , vol.76 , pp. 99-116
- Barbanera¹ Berardi²

2
- 84916540486
- P.N. Benton, G.M. Bierman, V.C.V. de Paiva, and J.M.E. Hyland. A term calculus for intuitionistic linear logic. In M. Bezem and J.F. Groote, editors, Proceedings of First International Conference on Typed λ-calculi and applications, volume 664 of Lecture Notes in Computer Science, pages 75–90, 1993.

4
- 84916540485
- G.M. Bierman. What is a categorical model of intuitionistic linear logic? In Proceedings of Second International Conference on Typed λ-calculi and applications, volume 902 of Lecture Notes in Computer Science, pages 78-93, April 1995. Previously available as Technical Report 333, University of Cambridge Computer Laboratory, March 1994.

6
- 84916540484
- M. Felleisen. The theory and practice of first-class prompts. In Proceedings of Symposium on Principles of Programming Languages, pages 180–190, January 1988.

7
- 84916540483
- A. Filinski. Linear continuations. In Proceedings of Symposium on Principles of Programming Languages, pages 27–38, January 1992.

9
- 84916540482
- A semantic view of classical proofs: type-theoretic, categorical and denotational characterizations
- (1995) To appear in LICS'96, December
- Ong¹

10
- 84916540481
- M. Parigot. λμ-calculus: an algorithmic interpretation of classical natural deduction. In Proceedings of Conference on Logic Programming and Automated Reasoning, volume 624 of Lecture Notes in Computer Science, pages 190-201, 1992.

11
- 0003780676
- Natural Deduction
- Almqvist and Wiksell
- (1965) volume 3 of Stockholm Studies in Philosophy.
- Prawitz¹

12
- 84916540480
- D. Prawitz. Ideas and results in proof theory. In J.E. Fenstad, editor, Proceedings of Second Scandinavian Logic Symposium, pages 235–307, 1971.

13
- 0004208676
- Cambridge University Press
- (1978) Multiple-Conclusion Logic
- Shoesmith¹ Smiley²

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