Class information for:
Level 1: LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
4296 1734 26.1 21%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1026 9754 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 LAMBDA CALCULUS Author keyword 61 37% 8% 132
2 INTERSECTION TYPES Author keyword 37 73% 2% 29
3 JOURNAL OF FUNCTIONAL PROGRAMMING Journal 31 31% 5% 85
4 DEPENDENT TYPES Author keyword 20 35% 3% 45
5 ALPHA CONVERSION Author keyword 18 89% 0% 8
6 EXPLICIT SUBSTITUTIONS Author keyword 17 63% 1% 17
7 NOMINAL TECHNIQUES Author keyword 15 82% 1% 9
8 ALPHA EQUIVALENCE Author keyword 15 73% 1% 11
9 LAMBDA ABSTRACTION ALGEBRAS Author keyword 14 100% 0% 7
10 TYPE THEORY Author keyword 13 23% 3% 49

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 LAMBDA CALCULUS 61 37% 8% 132 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS
2 INTERSECTION TYPES 37 73% 2% 29 Search INTERSECTION+TYPES Search INTERSECTION+TYPES
3 DEPENDENT TYPES 20 35% 3% 45 Search DEPENDENT+TYPES Search DEPENDENT+TYPES
4 ALPHA CONVERSION 18 89% 0% 8 Search ALPHA+CONVERSION Search ALPHA+CONVERSION
5 EXPLICIT SUBSTITUTIONS 17 63% 1% 17 Search EXPLICIT+SUBSTITUTIONS Search EXPLICIT+SUBSTITUTIONS
6 NOMINAL TECHNIQUES 15 82% 1% 9 Search NOMINAL+TECHNIQUES Search NOMINAL+TECHNIQUES
7 ALPHA EQUIVALENCE 15 73% 1% 11 Search ALPHA+EQUIVALENCE Search ALPHA+EQUIVALENCE
8 LAMBDA ABSTRACTION ALGEBRAS 14 100% 0% 7 Search LAMBDA+ABSTRACTION+ALGEBRAS Search LAMBDA+ABSTRACTION+ALGEBRAS
9 TYPE THEORY 13 23% 3% 49 Search TYPE+THEORY Search TYPE+THEORY
10 POLYMORPHIC RECURSION 13 80% 0% 8 Search POLYMORPHIC+RECURSION Search POLYMORPHIC+RECURSION

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 LAMBDA CALCULUS 31 33% 4% 77
2 POLYMORPHIC RECURSION 10 73% 0% 8
3 HASKELL 9 34% 1% 23
4 POLYMORPHIC TYPE INFERENCE 9 83% 0% 5
5 TYPED ASSEMBLY LANGUAGE 8 75% 0% 6
6 DEPENDENT TYPES 8 44% 1% 14
7 CAPTURE AVOIDING SUBSTITUTION 8 100% 0% 5
8 SYSTEM F 7 67% 0% 6
9 ORDER ABSTRACT SYNTAX 6 80% 0% 4
10 TYPED LAMBDA CALCULI 6 80% 0% 4

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 JOURNAL OF FUNCTIONAL PROGRAMMING 31 31% 5% 85

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Realization of natural language interfaces using lazy functional programming 2006 1 28 32%
A SELECTED BIBLIOGRAPHY ON CONSTRUCTIVE MATHEMATICS, INTUITIONISTIC TYPE THEORY AND HIGHER-ORDER DEDUCTION 1985 0 3 67%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 PPS 8 26% 1.6% 27
2 PACIFIC SOFTWARE 4 75% 0.2% 3
3 DATAVETENSK 3 43% 0.3% 6
4 INFORMAT 3 3 18% 0.7% 13
5 UMR 7126 3 24% 0.5% 9
6 EQUIPE LIMD 2 67% 0.1% 2
7 CIENCIA COMP MATEMAT 1 100% 0.1% 2
8 GALLIUM TEAM 1 100% 0.1% 2
9 ULTRA GRP USEFUL LOG TYPES REWRITING THEIR AUTO 1 100% 0.1% 2
10 AG THEORET INFORMAT 1 50% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000228610 LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS
2 0.0000193967 FUNCTIONAL REACTIVE PROGRAMMING//LANGUAGE EMBEDDINGS//DACTL
3 0.0000179019 PARTIAL EVALUATION//CPS TRANSFORMATION//BINDING TIME ANALYSIS
4 0.0000146505 BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC
5 0.0000128524 CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA
6 0.0000108974 TERM REWRITING//LUFG INFORMAT 2//TERM REWRITING SYSTEMS
7 0.0000108918 PLEIAD//ASPECT ORIENTED PROGRAMMING//COMP SCI DCC
8 0.0000099511 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
9 0.0000088065 ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS
10 0.0000083305 CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM