TLCA   2007 International Conference on Typed Lambda Calculi and Applications
Wall of Fame | Most Viewed TLCA-2007 Paper
9 years 4 months ago
Completing Herbelin's Programme
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
José Espírito Santo
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source425
2Download preprint from source192
3Download preprint from source172
4Download preprint from source167
5Download preprint from source154
6Download preprint from source153
7Download preprint from source152
8Download preprint from source123
9Download preprint from source116
10Download preprint from source115
11Download preprint from source107
12Download preprint from source100
13Download preprint from source92
14Download preprint from source91
15Download preprint from source89
16Download preprint from source65