Alejandro Díaz-Caro

ORCID iD
https://orcid.org/0000-0002-5175-6882
  • Country
  • Show details Hide details
Argentina

Sources:
Alejandro Díaz-Caro (2016-01-24)

  • Keywords
  • Show details Hide details
Quantum computing,

Sources:
Alejandro Díaz-Caro (2017-08-31)

Lambda calculus,

Sources:
Alejandro Díaz-Caro (2017-08-31)

Type theory,

Sources:
Alejandro Díaz-Caro (2017-08-31)

Rewriting,

Sources:
Alejandro Díaz-Caro (2017-08-31)

Logic

Sources:
Alejandro Díaz-Caro (2017-08-31)

  • Websites
  • Show details Hide details
Home page

Sources:
Alejandro Díaz-Caro (2014-07-20)

  • Other IDs
  • Show details Hide details
ResearcherID: H-2085-2013

Sources:
Clarivate Analytics (2013-07-08)

Scopus Author ID: 36933923200

Sources:
Scopus to ORCID (2013-07-08)

  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No Funding added yet
No publications added yet