Class information for:
Level 1: LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
5729 1582 25.0 23%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
708 2             COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS 12890
5729 1                   LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES 1582

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 LAMBDA CALCULUS authKW 1241607 9% 46% 141
2 GAME SEMANTICS authKW 551703 3% 53% 54
3 INTERSECTION TYPES authKW 494068 2% 80% 32
4 EXPLICIT SUBSTITUTIONS authKW 405767 2% 73% 29
5 LAMBDA MU CALCULUS authKW 293560 1% 89% 17
6 LOGICAL RELATIONS authKW 271122 2% 59% 24
7 STRONG NORMALIZATION authKW 248997 1% 56% 23
8 PPS address 234144 2% 32% 38
9 COMPUTATIONAL EFFECTS authKW 189132 1% 70% 14
10 FULL ABSTRACTION authKW 179613 1% 42% 22

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Logic 122649 19% 2% 306
2 Computer Science, Theory & Methods 84242 63% 0% 998
3 Computer Science, Software Engineering 12832 21% 0% 333
4 Mathematics, Applied 3571 20% 0% 312
5 Mathematics 2035 17% 0% 264
6 Computer Science, Artificial Intelligence 352 4% 0% 71
7 Computer Science, Information Systems 323 4% 0% 68
8 Philosophy 151 2% 0% 28
9 Computer Science, Hardware & Architecture 46 1% 0% 20
10 History & Philosophy of Science 5 0% 0% 5

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 PPS 234144 2% 32% 38
2 EQUIPE PREUVES PROGRAMMES SYST 94566 0% 70% 7
3 UMR 7126 79536 1% 32% 13
4 LFCS 62737 1% 17% 19
5 EQUIPE LIMD 57900 0% 100% 3
6 DATAVETENSK 49622 0% 43% 6
7 FDN COMP SCI 48809 1% 11% 23
8 PREUVES PROGRAMMES SYST 45024 0% 33% 7
9 EQUIPE PPS 43418 0% 38% 6
10 LAMA EQUIPE LOG 38600 0% 100% 2

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 LOGICAL METHODS IN COMPUTER SCIENCE 141087 4% 11% 68
2 INFORMATION AND COMPUTATION 136172 8% 6% 122
3 THEORETICAL COMPUTER SCIENCE 113499 16% 2% 251
4 JOURNAL OF FUNCTIONAL PROGRAMMING 82503 2% 12% 37
5 ANNALS OF PURE AND APPLIED LOGIC 70781 5% 4% 87
6 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 64771 3% 8% 42
7 ACM SIGPLAN NOTICES 48195 7% 2% 110
8 LECTURE NOTES IN COMPUTER SCIENCE 35099 25% 0% 402
9 JOURNAL OF LOGIC AND COMPUTATION 23272 2% 4% 34
10 JOURNAL OF SYMBOLIC LOGIC 17252 3% 2% 51

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 LAMBDA CALCULUS 1241607 9% 46% 141 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS
2 GAME SEMANTICS 551703 3% 53% 54 Search GAME+SEMANTICS Search GAME+SEMANTICS
3 INTERSECTION TYPES 494068 2% 80% 32 Search INTERSECTION+TYPES Search INTERSECTION+TYPES
4 EXPLICIT SUBSTITUTIONS 405767 2% 73% 29 Search EXPLICIT+SUBSTITUTIONS Search EXPLICIT+SUBSTITUTIONS
5 LAMBDA MU CALCULUS 293560 1% 89% 17 Search LAMBDA+MU+CALCULUS Search LAMBDA+MU+CALCULUS
6 LOGICAL RELATIONS 271122 2% 59% 24 Search LOGICAL+RELATIONS Search LOGICAL+RELATIONS
7 STRONG NORMALIZATION 248997 1% 56% 23 Search STRONG+NORMALIZATION Search STRONG+NORMALIZATION
8 COMPUTATIONAL EFFECTS 189132 1% 70% 14 Search COMPUTATIONAL+EFFECTS Search COMPUTATIONAL+EFFECTS
9 FULL ABSTRACTION 179613 1% 42% 22 Search FULL+ABSTRACTION Search FULL+ABSTRACTION
10 STRONG NORMALISATION 155681 1% 73% 11 Search STRONG+NORMALISATION Search STRONG+NORMALISATION

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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 BERLINE, C , (2000) FROM COMPUTATION TO FOUNDATIONS VIA FUNCTIONS AND APPLICATION: THE LAMBDA-CALCULUS AND ITS WEBBED MODELS.THEORETICAL COMPUTER SCIENCE. VOL. 249. ISSUE 1. P. 81 -161 30 81% 25
2 BERLINE, C , SALIBRA, A , (2006) EASINESS IN GRAPH MODELS.THEORETICAL COMPUTER SCIENCE. VOL. 354. ISSUE 1. P. 4 -23 20 100% 9
3 BERNADET, A , GRAHAM-LENGRAND, S , (2013) NON-IDEMPOTENT INTERSECTION TYPES AND STRONG NORMALISATION.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 9. ISSUE 4. P. - 19 83% 0
4 BERLINE, C , (2006) GRAPH MODELS OF LAMBDA-CALCULUS AT WORK, AND VARIATIONS.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 16. ISSUE 2. P. 185-221 19 95% 9
5 CARRARO, A , SALIBRA, A , (2012) EASY LAMBDA-TERMS ARE NOT ALWAYS SIMPLE.RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS. VOL. 46. ISSUE 2. P. 291 -314 15 100% 1
6 SCHMIDT-SCHAUSS, M , SABEL, D , NIEHREN, J , SCHWINGHAMMER, J , (2015) OBSERVATIONAL PROGRAM CALCULI AND THE CORRECTNESS OF TRANSLATIONS.THEORETICAL COMPUTER SCIENCE. VOL. 577. ISSUE . P. 98 -124 20 69% 0
7 VAN BAKEL, S , (2011) STRICT INTERSECTION TYPES FOR THE LAMBDA CALCULUS.ACM COMPUTING SURVEYS. VOL. 43. ISSUE 3. P. - 16 89% 2
8 BLOT, V , (2015) TYPED REALIZABILITY FOR FIRST-ORDER CLASSICAL ANALYSIS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 11. ISSUE 4. P. - 13 100% 0
9 PAOLINI, L , (2006) A STABLE PROGRAMMING LANGUAGE.INFORMATION AND COMPUTATION. VOL. 204. ISSUE 3. P. 339 -375 19 83% 9
10 SANTO, JE , MATTHES, R , NAKAZAWA, K , PINTO, L , (2013) MONADIC TRANSLATION OF CLASSICAL SEQUENT CALCULUS.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 23. ISSUE 6. P. 1111 -1162 13 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
2 9328 LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC
3 31129 LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES
4 21198 LAWSON COMPACT//SCOTT TOPOLOGY//CONTINUOUS POSET
5 24140 CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS
6 8192 PARTIAL EVALUATION//PROGRAM TRANSFORMATION//PROGRAM SPECIALIZATION
7 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
8 12316 CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE
9 4829 ASPECT ORIENTED PROGRAMMING//ACM SIGPLAN NOTICES//PLEIAD
10 8999 PI CALCULUS//PROCESS CALCULI//SESSION TYPES

Go to start page