메뉴 건너뛰기




Volumn 1548, Issue , 1998, Pages 422-437

Condensing lemmas for pure type systems with universes

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SOFTWARE ENGINEERING;

EID: 84959019846     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49253-4_30     Document Type: Conference Paper
Times cited : (3)

References (12)
  • 2
    • 0001439401 scopus 로고
    • Lambda Calculi with Types
    • (Abramsky, S. et al., eds.). Oxford University Press
    • Barendregt, H.: Lambda Calculi with Types. HandBook of Logic in Computer Sci-ence (Abramsky, S. et al., eds.). Oxford University Press (1992) 117-309
    • (1992) Handbook of Logic in Computer Sci-Ence , pp. 117-309
    • Barendregt, H.1
  • 5
    • 84959035904 scopus 로고    scopus 로고
    • Dependent type with subtyping and lately-binded overload-ing
    • Paris, submitted to TLCA'97
    • Castagna, G., Chen, G.: Dependent type with subtyping and lately-binded overload-ing. DMI-LIENS. Ecole Normale Supérieure, Paris (1997) (submitted to TLCA'97)
    • (1997) DMI-LIENS. Ecole Normale Supérieure
    • Castagna, G.1    Chen, G.2
  • 7
    • 0000084041 scopus 로고
    • Modular proof of strong normalization for the calculus of constructions
    • Geuvers, H., Nederhof, M.: Modular proof of strong normalization for the calculus of constructions. Journal of Functional Programming 1 (2) (1991) 155-189
    • (1991) Journal of Functional Programming , vol.1 , Issue.2 , pp. 155-189
    • Geuvers, H.1    Nederhof, M.2
  • 12
    • 84959035906 scopus 로고    scopus 로고
    • III Jornadas de In-formática, Cádiz (Spain) (Torres, J. C., ed
    • Ruiz, B. C., Santos, A.: Decidibilidad en sistemas γ STP. III Jornadas de In-formática, Cádiz (Spain) (Torres, J. C., ed.) (1997) 217-226
    • (1997) Decidibilidad En Sistemas γ STP , pp. 217-226
    • Ruiz, B.C.1    Santos, A.2


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