A Syntactic Proof of the Conservativity ofλ_ω overλ_2

SONG Fangmin; QIAN Yuechen

SONG Fangmin, QIAN Yuechen. A Syntactic Proof of the Conservativity ofλ_ω overλ_2[J]. Journal of Computer Science and Technology, 1999, 14(2): 129-134.

Citation:

SONG Fangmin, QIAN Yuechen. A Syntactic Proof of the Conservativity ofλ_ω overλ_2[J]. Journal of Computer Science and Technology, 1999, 14(2): 129-134.

Citation:

SONG Fangmin, QIAN Yuechen. A Syntactic Proof of the Conservativity ofλ_ω overλ_2[J]. Journal of Computer Science and Technology, 1999, 14(2): 129-134.

A Syntactic Proof of the Conservativity ofλ_ω overλ_2

SONG Fangmin,
QIAN Yuechen

Abstract

Abstract

In this paper, the relationship between the second order typed - calculus 2 and its higher order version is discussed . A purely syntactic proof of the conservativity of over 2 is given.

FullText(HTML)

References (3)

Relative Articles

Supplements (0)

Cited By

A Syntactic Proof of the Conservativity ofλ_ω overλ_2

Abstract

Catalog

Export File

Citation

Format

Content