Paper Info
Title
Setoid Type Theory - A Syntactic Translation.
Year
DOI
Venue
2019
10.1007/978-3-030-33636-3_7
MPC
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Thorsten Altenkirch166856.85
Simon Boulier200.68
Ambrus Kaposi311.74
Nicolas Tabareau4142.79