Title
The involutions-as-principal types/application-as-unification Analogy.
Year
Venue
Field
2018
LPAR
Algebra,Computer science,Unification,Theoretical computer science,Analogy
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Alberto Ciaffaglione1589.97
Furio Honsell21254146.59
Marina Lenisa326430.25
Ivan Scagnetto423220.87