SCOPUS 정보 검색 플랫폼

Volumn 50, Issue 1, 1987, Pages 1-101

Linear logic

a CNRS (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTIVE LOGICS; IMPLICATION; LINEAR LOGIC; NEGATION; SEMANTICS;

COMPUTER METATHEORY;

EID: 0023171371 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(87)90045-4 Document Type: Article

Times cited : (3152)

References (6)

1
- 77956953346
- Une extension de l'interprétation de Gödel à l'analyse et son application à l'elimination des coupures dans l'analyse et dans la théorie des types
- J.E. Fenstadt, North-Holland, Amsterdam
- (1971) Proc. 2nd Scand. Logic Symp. , pp. 63-92
- Girard¹

2
- 0004099873
- Interprétation fonctionelle et élimination des cupures de l'arithmétique d'ordre supérieur
- UER de Mathématiques, Univ. de Paris VII
- (1972) Thèse de Doctorat d'Etat
- Girard¹

3
- 18944374682
- Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture
- (1976) Dissertationes Math. , vol.136
- Girard¹

4
- 84918459464
- J.-Y. Girard, Normal functors, power series and lambda-calculus, Ann. Pure Appl. Logic, to appear.

5
- 0000604168
- The system F of variable types
- fifteen years later
- (1986) Theoret. Comput. Sci. , vol.45 , Issue.2 , pp. 159-192
- Girard¹

6
- 0003943112
- Formally self-referential propositions for cut-free classical analysis and related systems
- (1974) Dissertationes Math. , vol.118
- Kreisel¹ Takeuti²

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