Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi Export

@article{citeulike:438358, abstract = {The purpose of this paper is to give an exposition of material dealing with constructive logic, typed -calculi, and linear logic. The emergence in the past ten years of a coherent eld of research often named \logic and computation\" has had two major (and related) eects: rstly, it has rocked vigorously the world of mathematical logic; secondly, it has created a new computer science discipline, which spans from what is traditionally called theory of computation, to programming language...}, author = {Gallier, Jean H.}, citeulike-article-id = {438358}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/gallier03constructive.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/gallier03constructive.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/gallier03constructive.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/gallier03constructive.html}, journal = {Theoretical Computer Science}, keywords = {tutorial}, number = {2}, pages = {249--339}, posted-at = {2007-08-26 09:12:32}, priority = {5}, title = {Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi}, url = {http://citeseer.ist.psu.edu/gallier03constructive.html}, volume = {110}, year = {1993} }

TY - JOUR ID - citeulike:438358 L3 - citeulike-article-id:438358 N2 - The purpose of this paper is to give an exposition of material dealing with constructive logic, typed -calculi, and linear logic. The emergence in the past ten years of a coherent eld of research often named \logic and computation" has had two major (and related) eects: rstly, it has rocked vigorously the world of mathematical logic; secondly, it has created a new computer science discipline, which spans from what is traditionally called theory of computation, to programming language... IS - 2 JF - Theoretical Computer Science EP - 339 TI - Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi VL - 110 SP - 249 KW - tutorial AU - Gallier, Jean PY - 1993/// UR - http://citeseer.ist.psu.edu/gallier03constructive.html ER -