Paper Info
Title
Year
Citations 
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic
2014
2
PageRank 
References 
Authors
0.42
10
2
Name
Citations
PageRank
Giuseppe Primiero3415.54
Konstantinos Pouliasis20.76