Daniel de Carvalho

Identifiers

• name variant Daniel de Carvalho 0.60 · backfill

Papers (8)

1. Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education cs.SE · 2019 · author #3
2. Implementing distributed {\lambda}-calculus interpreter cs.PL · 2018 · author #2
3. Teaching Programming and Design-by-Contract cs.SE · 2017 · author #1
4. Jolie Static Type Checker: a prototype cs.SE · 2017 · author #1
5. The relational model is injective for Multiplicative Exponential Linear Logic cs.LO · 2015 · author #1
6. A semantic account of strong normalization in Linear Logic cs.LO · 2013 · author #1
7. The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) cs.LO · 2010 · author #1
8. Execution Time of lambda-Terms via Denotational Semantics and Intersection Types cs.LO · 2009 · author #1

Mentions

• 1502.02404 #1 · backfill · confidence 0.70 Daniel de Carvalho
• 1304.6762 #1 · backfill · confidence 0.70 Daniel de Carvalho
• 1002.3131 #1 · backfill · confidence 0.70 Daniel de Carvalho
• 0905.4251 #1 · backfill · confidence 0.70 Daniel de Carvalho

Frequent Coauthors

• Manuel Mazzara 4 shared papers
• Lorenzo Tortora de Falco 2 shared papers
• Mansur Khazeev 2 shared papers
• Adil Khan 1 shared papers
• Alexander Tchitchigin 1 shared papers
• Alexandr Basov 1 shared papers
• Alexandr Naumchev 1 shared papers
• Bogdan Mingela 1 shared papers
• Hamna Aslam 1 shared papers
• JooYong Lee 1 shared papers
• Larisa Safina 1 shared papers
• Nikolay Troshkov 1 shared papers
• Rasheed Hussain 1 shared papers
• Ruslan Mustafin 1 shared papers
• Sergey Masiagin 1 shared papers
• Victor Rivera 1 shared papers