( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reflections on Teaching Formal Methods for Software Development in Higher Education.

, , , , , и . FISEE, том 12271 из Lecture Notes in Computer Science, стр. 28-41. Springer, (2019)

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.

Luiz Cláudio ˜deœ Carvalho

Irene Melo de Carvalho

Crícia de Carvalho Rodegheri

Daniel de Vin

Daniel de Lange

 

Другие публикации лиц с тем же именем

Towards Code Review Guideline in a Classroom., , , , , и . FISEE, том 12271 из Lecture Notes in Computer Science, стр. 88-105. Springer, (2019)Implementing distributed λ-calculus interpreter., , и . CoRR, (2018)The Relational Model Is Injective for Multiplicative Exponential Linear Logic.. CSL, том 62 из LIPIcs, стр. 41:1-41:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Teaching Programming and Design-by-Contract., , , , , , , , , и . ICL (1), том 916 из Advances in Intelligent Systems and Computing, стр. 68-76. Springer, (2018)Implementing Distributed Lamda-Calculus Interpreter., , и . AINA Workshops, стр. 34-39. IEEE Computer Society, (2018)Reflections on Teaching Formal Methods for Software Development in Higher Education., , , , , и . FISEE, том 12271 из Lecture Notes in Computer Science, стр. 28-41. Springer, (2019)Execution time of λ-terms via denotational semantics and intersection types.. Math. Struct. Comput. Sci., 28 (7): 1169-1203 (2018)A semantic measure of the execution time in linear logic., , и . Theor. Comput. Sci., 412 (20): 1884-1902 (2011)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)