Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Feliu Davino Sagols Troncoso
Tidjani Négadi
Anastasia Yaroslavsky
McKeldin Library
Daniel P. Kennedy
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
ÁLVARO TASISTRO
Author Info
Open Visualization
Name
Affiliation
Papers
ÁLVARO TASISTRO
Facultad de Ingeniería, Universidad ORT Uruguay
7
Collaborators
Citations
PageRank
6
21
2.99
Referers
Referees
References
49
60
30
Publications (7 rows)
Collaborators (6 rows)
Referers (49 rows)
Referees (60 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
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.
0
0.34
2020
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
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.
0
0.34
2018
Formal metatheory of the Lambda calculus using Stoughton's substitution.
1
0.48
2017
A type-theoretic framework for certified model transformations
20
0.81
2010
1