Title
Intersection Types for the lambda-mu Calculus.
Year
Venue
DocType
2018
Logical Methods in Computer Science
Journal
Volume
Issue
Citations 
abs/1704.00272
1
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Steffen van Bakel133528.24
Franco Barbanera235735.14
Ugo de'Liguoro325123.50