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,
1996
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 |
