Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Chelsea Wanta
Tidjani Négadi
Tom DeHart
Daniel Fortun
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
ERNESTO COPELLO
Author Info
Open Visualization
Name
Affiliation
Papers
ERNESTO COPELLO
Universidad ORT Uruguay, Montevideo, Uruguay
5
Collaborators
Citations
PageRank
4
3
2.05
Referers
Referees
References
8
50
27
Publications (5 rows)
Collaborators (4 rows)
Referers (8 rows)
Referees (50 rows)
Title
Citations
PageRank
Year
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention
0
0.34
2021
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory.
0
0.34
2018
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.
0
0.34
2018
Formal metatheory of the Lambda calculus using Stoughton's substitution.
1
0.48
2017
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.
2
0.56
2015
1