Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Chang-Ki Lee
Claudia Calabrese
Hao Mao
Peter Malec
Fei-Yan Song
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Victor Gamayunov
Home
/
Paper
/
Syllepsis in Homotopy Type Theory
Paper Info
Open Visualization
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
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Kristina Sojakova
1
0
1.01
G. A. Kavvos
2
2
2.76
1