上海交大研究生院主页平台管理系统 Wang Yuting--Home-- A Proof-Theoretic Characterization of Independence in Type Theory

Home > Scientific Research > Paper Publications

A Proof-Theoretic Characterization of Independence in Type Theory

Date of Publication:2015-06-01 Hits:

Journal:Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA)
Translation or Not:no
Date of Publication:2015-06-01
Indexed by:会议论文

Pre One:A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

Next One:Abella: A System for Reasoning about Relational Specifications

Recommend this article

Home

Scientific Research

Teaching Research

Awards and Honours

Admission Information

Student Information

My Album

Blog

Personal Information

A Proof-Theoretic Characterization of Independence in Type Theory