Nora Szasz

Universidad ORT Uruguay

H-index: 10

Latin America-Uruguay

Nora Szasz, With an exceptional h-index of 10 and a recent h-index of 6 (since 2020), a distinguished researcher at Universidad ORT Uruguay,

His recent articles reflect a diverse array of research interests and contributions to the field:

Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda

Title	Journal	Author(s)	Publication Date
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention	Mathematical Structures in Computer Science	Ernesto Copello Nora Szasz Álvaro Tasistro	2021/3
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda	Electronic Notes in Theoretical Computer Science	Sebastián Urciuoli Alvaro Tasistro Nora Szasz	2020/9/15

Useful Links