Title
Syllepsis in Homotopy Type Theory
Year
DOI
Venue
2022
10.1145/3531130.3533347
ACM/IEEE Symposium on Logic in Computer Science (LICS)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Kristina Sojakova101.01
G. A. Kavvos222.76