Paper Info
Title
Normalisation by Evaluation for Dependent Types.
Year
Venue
DocType
2016
FSCD
Conference
Citations 
PageRank 
References 
2
0.37
3
Authors
2
Name
Order
Citations
PageRank
Thorsten Altenkirch166856.85
Ambrus Kaposi2164.29