Abstract | ||
---|---|---|
Abstract: The purpose of this paper is to give an exposition of material dealing with constructivelogic, typed -calculi, and linear logic. The emergence in the past ten years of a coherenteld ofresearch often named \logic and computation" has had two major (and related) eects:rstly, it hasrocked vigorously the world of mathematical logic; secondly, it has created a new computer sciencediscipline, which spans from what is traditionally called theory of computation, to programminglanguage... |
Year | Venue | DocType |
---|---|---|
1993 | Theor. Comput. Sci. | Journal |
Volume | Issue | Citations |
110 | 2 | 9 |
PageRank | References | Authors |
0.79 | 3 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean H. Gallier | 1 | 749 | 111.86 |