Daniel de Carvalho

Daniel de Carvalho

Innopolis University - Innopolis / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4361002
Университет Иннополиса
person_outline Daniel de Carvalho's MOST POPULAR ARTICLES
1-) Execution time of λ-terms via denotational semantics and intersection typesD De CarvalhoMathematical Structures in Computer Science 28 (7), 1169-1203, 20181622018
2-) Execution time of λ-terms via denotational semantics and intersection typesD de CarvalhoMathematical Structures in Computer Science 28 (7), 1169-1203, 20181622018
3-) Sémantiques de la logique linéaire et temps de calculD de CarvalhoUniversité Aix-Marseille II, 20071112007
4-) A semantic measure of the execution time in linear logicD De Carvalho, M Pagani, LT de FalcoTheoretical Computer Science 412 (20), 1884-1902, 2011902011
5-) A semantic account of strong normalization in linear logicD de Carvalho, LT de FalcoInformation and Computation 248, 104-129, 2016332016