( en | de | ru )

 

Disambiguation of "de Carvalho, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
A semantic measure of the execution time in linear logic.

, , and . Theor. Comput. Sci., 412 (20): 1884-1902 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luiz Cláudio ˜deœ Carvalho

Irene Melo de Carvalho

Crícia de Carvalho Rodegheri

Daniel de Vin

Daniel de Lange

 

Other publications of authors with the same name

Execution time of λ-terms via denotational semantics and intersection types.. Math. Struct. Comput. Sci., 28 (7): 1169-1203 (2018)Reflections on Teaching Formal Methods for Software Development in Higher Education., , , , , and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 28-41. Springer, (2019)Implementing distributed λ-calculus interpreter., , and . CoRR, (2018)The Relational Model Is Injective for Multiplicative Exponential Linear Logic.. CSL, volume 62 of LIPIcs, page 41:1-41:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Towards Code Review Guideline in a Classroom., , , , , and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 88-105. Springer, (2019)Teaching Programming and Design-by-Contract., , , , , , , , , and . ICL (1), volume 916 of Advances in Intelligent Systems and Computing, page 68-76. Springer, (2018)Implementing Distributed Lamda-Calculus Interpreter., , and . AINA Workshops, page 34-39. IEEE Computer Society, (2018)Taylor expansion in linear logic is invertible.. Logical Methods in Computer Science, (2018)The relational model is injective for Multiplicative Exponential Linear Logic.. CoRR, (2015)Code Review in the Classroom., , , , , and . CoRR, (2020)