. Assoc and . Prof, Nguyen Xuan Man Prof Blanqui Frederic Arrangement Committee, Vietnam Academy of Science and Technology

-. , F. Terms, U. Algebra, . Matching, . Unification-computable et al., Institute of Information Technology (IOIT) Inventors For The Digital World -INRIA Topic, Institute of Applied Mechanics and Informatics (IAMI) TYPE CHECKING AND TYPE INFERENCE -FIRST-ORDER LOGIC, NATURAL DEDUCTION AND CURRY-HOWARD ISOMORPHISM -OPERATIONAL SEMANTICS OF PROGRAMMING LANGUAGES