汪宇霆

副教授

所在单位:电子信息与电气工程学院

学科:计算机软件与理论(081202)

职称:副教授

电子邮箱:yuting.wang@sjtu.edu.cn

查看更多>

教师主页二维码

A Proof-Theoretic Characterization of Independence in Type Theory

发布时间:2020-05-08

发表刊物:Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA)

是否译文:

发表时间:2015-06-01

论文类型:会议论文

 沪ICP备05052060 版权所有©上海交通大学

访问人数: | 开通时间:--

最近更新时间:--