浙江档案数据库浙江历史名人辞典张鸣华

【姓名】：	张鸣华
【字号】：
【籍贯】：	温州人
【生卒年】：	1930—
【人物介绍】：	张鸣华 (1930—)温州人。清华大学教授。在数据流分析、程序结构理论、数据类型及直觉主义类型论方面取得成果。撰有论文《全局数据流分析》、《框图格式的等价问题》、《数据类型的二阶理论》、《直觉主义类型论中的无穷对象》等，著有《可计算性理论》。