基本情况
- 主题：
论域、类型及进程代数暑期讲习班暨计算机软件理论学术会议
Topic:
Summer School on Domain, Types and Processes & Workshop on Basic Studies in Computer Science
- 时间：
2000年8月12日至13日 Workshop
2000年8月14日至18日 Summer School
- 地点：
上海交通大学
- 主办单位：
上海交通大学计算机科学与工程系，上海高校理论研究中心 (BASICS实验室)
组织
- 程序委员会：
主席 傅育熙教授
- 组委会：
凌君逸、董笑菊、杨震荣、张杰、邓玉欣
报告人及内容
- Pierre-Louis Currien: Domain Theory
References:
[1] Roberto M. Amadio, Pierre-Louis. Domains and
Lambda-calculus.
- 傅育熙
(Fu Yuxi): CCS and Pi-calculus
References:
[1] Robin
Milner. Communication and Concurrency. New York, Prentice Hall,
1989.
[2] Robin Milner, J. Parrow, D. Walker. A Calculus of
Mobile Processes. Information and Computation, 1992, 100:
1--40(Part I), 41--77 (Part II).
- 蒋颖 (Jiang Ying): Introduction to
Lambda-calculus and Types
References:
[1] Henk
Barendredgt. Lambda Calculus - its Syntax and Semantics.
- 陈仪香 (Chen Yixiang): Introduction to
Category Theory
References:
[1] Saunders Mac
Lane. Categories for the Working Mathematician. New York,
Springer-Verlag. 1988.
活动
周庄一日游；参观上海博物馆；夜游上海