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
124*2018
Sémantiques de la logique linéaire et temps de calcul
D de Carvalho
Université Aix-Marseille II, 2007
802007
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
612011
Execution time of λ-terms via denotational semantics and intersection types
D De Carvalho
Mathematical Structures in Computer Science 28 (7), 1169-1203, 2018
302018
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
D de Carvalho, LT de Falco
arXiv preprint arXiv:1002.3131, 2010
232010
A semantic account of strong normalization in linear logic
D de Carvalho, LT de Falco
Information and Computation 248, 104-129, 2016
222016
The relational model is injective for multiplicative exponential linear logic
D de Carvalho
arXiv preprint arXiv:1502.02404, 2015
222015
Intersection types for light affine lambda calculus
D De Carvalho
Electronic Notes in Theoretical Computer Science 136, 133-152, 2005
172005
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
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
62018
A note on weak algebraic theories
D De Carvalho
42008
Execution time of lambda-terms via non-uniform semantics and intersection types
D de Carvalho
Preprint IML, 2006
42006
Taylor expansion in linear logic is invertible
D De Carvalho
arXiv preprint arXiv:1712.05505, 2017
32017
Towards static typechecking for jolie
B Mingela, N Troshkov, M Mazzara, L Safina, A Tchitchigin, ...
arXiv preprint arXiv:1702.07146, 2017
22017
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
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
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
2019
Taylor expansion of proofs and static analysis of time complexity
D de Carvalho
9th Workshop PSSV: proceedings/Edited by Nikolay Shilov, Vladimir Zakharov …, 2018
2018
Implementing Distributed Lamda-Calculus Interpreter
A Basov, D de Carvalho, M Mazzara
2018 32nd International Conference on Advanced Information Networking and …, 2018
2018
Qu’est-ce qu’un modèle catégorique de la logique linéaire?
D de Carvalho
The system can't perform the operation now. Try again later.
Articles 1–20