Author Info
Name
Affiliation
Papers
MARTÍN COPES
Univ ORT Uruguay, Montevideo, Uruguay
1
Collaborators
Citations 
PageRank 
2
0
0.34
Referers 
Referees 
References 
0
5
2
Title
Citations
PageRank
Year
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.00.342018