Talks in Korea, Japan and China
-
Using the Computer to Prove the Correctness of Programs,
Chung-Ang University, Korea, Sep 29, 2003.
-
Trying to understand records, projections and constructors ...,
Kyoto University, Japan, Nov 2003.
-
Subsets in type theory,
Kyoto University, Japan, Nov 2003.
-
XML -- from a Programming Language Perspective,
Chung-Ang University, Seoul, Korea, Nov 2003.
-
An Introduction to Martin-Lof's Constructive Type Theory and
a computer implementation of it.
Seoul National University, Korea, Nov 2003.
-
An Introduction to Martin-Lof's Constructive Type Theory and
a computer implementation of it.
AIST, Amagasaki, Japan, Dec 2003.
-
An Introduction to Martin-Lof's Constructive Type Theory and
a computer implementation of it.
Nanjing University, China, Dec 2003.
- XML -- from a Programming Language Perspective,
Nanjing University, China, Dec 2003.
-
Computability and Self-interpretation,
The Renaissance Club, Seoul, Korea, Jan 2004
-
Martin-Lof's Type Theory
Korean SIGPL Winter School on Logic in Computing Research, Mallipo, Korea, February 11-13, 2004
Last modified: Tue Feb 3 15:10:21 KST 2004