克里斯汀·威廉姆斯
数学博士。
加州大学河滨分校
[威廉姆斯在数学dot ucr dot edu]

顾问	约翰·贝兹
福库斯	分类逻辑 并发（\（\pi）\）
工作	[2021年1月]本土类型理论 [2019年9月]操作语义学的丰富法律理论
帖子	本土类型理论1.2.三 R链.状态框.2019年夏季
会谈	[2020年6月]麻省理工学院：代数理论的结构类型[视频] [幻灯片] [2019年3月]UCR：（\pi\）-演算[视频]

查看ACT目录.
给我发送电子邮件以加入CT社区服务器.