Class information for:
Level 1: LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS

Basic class information
Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
704 2             ACM SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//LANGUAGES 13317
3042 1                   LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS 2108

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LINEAR LOGIC authKW 1935218 8% 73% 177
2 LAMBDA CALCULUS authKW 1331858 8% 53% 167
3 GAME SEMANTICS authKW 1067431 4% 82% 87
4 IMPLICIT COMPUTATIONAL COMPLEXITY authKW 502548 2% 78% 43
5 COMPUTABILITY LOGIC authKW 493751 2% 97% 34
6 PROOF NETS authKW 454765 2% 89% 34
7 INTERSECTION TYPES authKW 373353 2% 78% 32
8 GEOMETRY OF INTERACTION authKW 358782 1% 100% 24
9 EXPLICIT SUBSTITUTIONS authKW 328139 1% 73% 30
10 CLASSICAL LOGIC authKW 256943 2% 45% 38

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 252163 24% 3% 507
2 Computer Science, Theory & Methods 108116 62% 1% 1302
3 Computer Science, Software Engineering 8455 15% 0% 315
4 Mathematics, Applied 5882 22% 0% 459
5 Mathematics 4705 21% 0% 453
6 Computer Science, Artificial Intelligence 988 6% 0% 132
7 Computer Science, Information Systems 217 3% 0% 69
8 Philosophy 61 1% 0% 23
9 Computer Science, Hardware & Architecture 41 1% 0% 23
10 History & Philosophy of Science 2 0% 0% 5

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PPS 210908 2% 34% 42
2 UMR 7126 128472 1% 45% 19
3 EQUIPE PREUVES PROGRAMMES SYST 95672 0% 80% 8
4 PROJET CALLIGRAMME 76880 0% 86% 6
5 PREUVES PROGRAMMES SYST 71177 0% 48% 10
6 LFCS 53838 1% 18% 20
7 THEORET TECH INFORMAT 47836 0% 80% 4
8 FDN COMP SCI 47623 1% 12% 26
9 UMR 7650 46713 0% 63% 5
10 LIX 43852 2% 8% 35

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 THEORETICAL COMPUTER SCIENCE 190284 18% 3% 372
2 LOGICAL METHODS IN COMPUTER SCIENCE 178988 4% 13% 89
3 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 159857 4% 14% 77
4 ANNALS OF PURE AND APPLIED LOGIC 149401 7% 7% 145
5 INFORMATION AND COMPUTATION 134702 7% 6% 140
6 JOURNAL OF LOGIC AND COMPUTATION 63781 3% 6% 66
7 JOURNAL OF FUNCTIONAL PROGRAMMING 44012 1% 10% 31
8 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 35868 1% 8% 29
9 LECTURE NOTES IN COMPUTER SCIENCE 34231 21% 1% 452
10 ACM SIGPLAN NOTICES 33827 5% 2% 105

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 LINEAR LOGIC 1935218 8% 73% 177 Search LINEAR+LOGIC Search LINEAR+LOGIC
2 LAMBDA CALCULUS 1331858 8% 53% 167 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS
3 GAME SEMANTICS 1067431 4% 82% 87 Search GAME+SEMANTICS Search GAME+SEMANTICS
4 IMPLICIT COMPUTATIONAL COMPLEXITY 502548 2% 78% 43 Search IMPLICIT+COMPUTATIONAL+COMPLEXITY Search IMPLICIT+COMPUTATIONAL+COMPLEXITY
5 COMPUTABILITY LOGIC 493751 2% 97% 34 Search COMPUTABILITY+LOGIC Search COMPUTABILITY+LOGIC
6 PROOF NETS 454765 2% 89% 34 Search PROOF+NETS Search PROOF+NETS
7 INTERSECTION TYPES 373353 2% 78% 32 Search INTERSECTION+TYPES Search INTERSECTION+TYPES
8 GEOMETRY OF INTERACTION 358782 1% 100% 24 Search GEOMETRY+OF+INTERACTION Search GEOMETRY+OF+INTERACTION
9 EXPLICIT SUBSTITUTIONS 328139 1% 73% 30 Search EXPLICIT+SUBSTITUTIONS Search EXPLICIT+SUBSTITUTIONS
10 CLASSICAL LOGIC 256943 2% 45% 38 Search CLASSICAL+LOGIC Search CLASSICAL+LOGIC

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.

Classes with closest relation at Level 1


rank cluster_id2 link
1 9040 DEPENDENT TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING//TYPE INFERENCE
2 36794 LAMBEK CALCULUS//PREGROUP GRAMMARS//CATEGORIAL GRAMMARS
3 31569 INTERMEDIATE COMPILER TARGET LANGUAGES//DACTL//EVIDENCE ALGORITHM
4 37794 TYPE ISOMORPHISM//EPISTEMIC ARITHMETIC//WELL FOUNDED RELATIONS
5 12243 PARTIAL EVALUATION//CONTINUATIONS//DIKU
6 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
7 24320 PROOF THEORETIC SEMANTICS//NATURAL DEDUCTION//GENTZEN
8 8458 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
9 11417 COMPUTABLE ANALYSIS//DOMAIN THEORY//SCOTT TOPOLOGY
10 6479 APPLIED CATEGORICAL STRUCTURES//THEORY AND APPLICATIONS OF CATEGORIES//SEMI ABELIAN CATEGORY

Go to start page