About us
Faculty and Staff
Leadership Team
CAS Members
International Cooperation
Education & Training
Join Us
Societies & Publications
1.Basic Info
Name: JIANG Ying
Title: Research Professor
Department: State Key Laboratory of Computer Science
Telephone: 010-62661626
Email: jy(at)ios.ac.cn
Home page:
Addr: 4# South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. CHINA
Zipcode: 100190
2.Research interests:
4.Other Positions:


6. Recent Awards:
7.Recent Publications (Selected):
1. G. Dowek, Y. Jiang, Eigenvariables, bracketing and the decidability of positive minimal predicate logic, Theoretical Computer Science, 10.1016/j.tcs.2006.01.053
2. G.-Q. Zhang, Y. Jiang, On an Open Problem of Amadio and Curien: the
Finite Antichain Condition, Information and computation, Vol. 202, pp.87-105, 2005
3* . G. Dowek, Y. Jiang, Eigenvariables, bracketing and the decidability of
positive minimal intuitionistic logic, Electronic Notes in Theoretical Computer Science, Vol. 85 No. 7, 2003
4. Y. Jiang, Positive Types in System F, Logic Colloquium, Paris, 2000
5. Y. Jiang, Isomorphismes between the coherent models of the lambda-calculus, Science in China, Series A, Vol. 39,8, pp.785-798, 1996
6. Y. Jiang, Consystency and axiomatization of a natural extensional
combinatory logic, Science in China, Series A, Vol.39, No.9,pp.897-908,
7. X. Gouy, Y. Jiang, Universal retraction on DI-domaines, Information and
Computation, Vol. 119, pp.252-257, 1995
8. Y. Jiang, Consistency of a lambda-theory with n-tuples and easy term,
Archive for Mathematical Logic, Vol. 34, pp. 79-96, 1995
9. Y. Jiang, La semantique continue du lambda-calcul et incompatible avec
l'existence d’une retraction universelle, C.R.Acad, Sci. Paris, Ser.1, 314, pp. 779-782, 1992