Daniel de Carvalho
Daniel de Carvalho
Innopolis University
Verified email at innopolis.ru - Homepage
Title
Cited by
Cited by
Year
Execution time of λ-terms via denotational semantics and intersection types
D De Carvalho
Mathematical Structures in Computer Science 28 (7), 1169-1203, 2018
1472018
Execution time of λ-terms via denotational semantics and intersection types
D de Carvalho
Mathematical Structures in Computer Science 28 (7), 1169-1203, 2018
1472018
Sémantiques de la logique linéaire et temps de calcul
D de Carvalho
Université Aix-Marseille II, 2007
972007
A semantic measure of the execution time in linear logic
D De Carvalho, M Pagani, LT de Falco
Theoretical Computer Science 412 (20), 1884-1902, 2011
742011
A semantic account of strong normalization in linear logic
D de Carvalho, LT de Falco
Information and Computation 248, 104-129, 2016
282016
The relational model is injective for multiplicative exponential linear logic (without weakenings)
D de Carvalho, LT de Falco
Annals of Pure and Applied Logic 163 (9), 1210-1236, 2012
272012
The relational model is injective for multiplicative exponential linear logic
D de Carvalho
arXiv preprint arXiv:1502.02404, 2015
262015
Intersection types for light affine lambda calculus
D De Carvalho
Electronic Notes in Theoretical Computer Science 136, 133-152, 2005
182005
Teaching programming and design-by-contract
D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
International Conference on Interactive Collaborative Learning, 68-76, 2018
102018
Taylor expansion in linear logic is invertible
D De Carvalho
Logical Methods in Computer Science 14, 2018
92018
An implicit characterization of the polynomial-time decidable sets by cons-free rewriting
D de Carvalho, JG Simonsen
Rewriting and Typed Lambda Calculi, 179-193, 2014
92014
A note on weak algebraic theories
D De Carvalho
INRIA, 2008
42008
Execution time of lambda-terms via non-uniform semantics and intersection types
D de Carvalho
Preprint IML, 2006
32006
Towards a broader acceptance of formal verification tools: the role of education
M Khazeev, M Mazzara, D De Carvalho, H Aslam
arXiv preprint arXiv:1906.01430, 2019
22019
Towards static typechecking for jolie
B Mingela, N Troshkov, M Mazzara, L Safina, A Tchitchigin, ...
arXiv preprint arXiv:1702.07146, 2017
22017
Reflections on teaching formal methods for software development in higher education
M Khazeev, H Aslam, D de Carvalho, M Mazzara, JM Bruel, JA Brown
International Workshop on Frontiers in Software Engineering Education, 28-41, 2019
12019
Towards a broader acceptance of formal verification tools
M Khazeev, M Mazzara, H Aslam, D de Carvalho
International Conference on Interactive Collaborative Learning, 188-200, 2019
12019
Jolie Static Type Checker: a prototype
D de Carvalho, M Mazzara, B Mingela, L Safina, A Tchitchigin, ...
arXiv preprint arXiv:1702.07146, 2017
12017
Code Review in the Classroom
V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara
arXiv preprint arXiv:2004.08774, 2020
2020
Teaching Logic, from a Conceptual Viewpoint
D de Carvalho, N Kudasov
International Workshop on Frontiers in Software Engineering Education, 151-177, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20