Daniel de Carvalho

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 15

Top Topics

Formal Verification

Higher Education

Software Development

Top Venues

Math. Struct. Comput. Sci.

Publications

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
Code Review in the Classroom. CoRR (2020)
Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education. CoRR (2019)
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
Towards Code Review Guideline in a Classroom. FISEE (2019)
Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown
Reflections on Teaching Formal Methods for Software Development in Higher Education. FISEE (2019)
Daniel de Carvalho, Nikolai Kudasov
Teaching Logic, from a Conceptual Viewpoint. FISEE (2019)
Alexandr Basov, Daniel de Carvalho, Manuel Mazzara
Implementing distributed λ-calculus interpreter. CoRR (2018)
Alexandr Basov, Daniel de Carvalho, Manuel Mazzara
Implementing Distributed Lamda-Calculus Interpreter. AINA Workshops (2018)
Daniel de Carvalho
Taylor expansion in linear logic is invertible. Log. Methods Comput. Sci. 14 (4) (2018)
Daniel de Carvalho
Execution time of λ-terms via denotational semantics and intersection types. Math. Struct. Comput. Sci. 28 (7) (2018)
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
Teaching Programming and Design-by-Contract. ICL (1) (2018)
Daniel de Carvalho
Taylor expansion in linear logic is invertible. CoRR (2017)
Daniel de Carvalho, JooYoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
Teaching Programming and Design-by-Contract. CoRR (2017)
Daniel de Carvalho
The Relational Model Is Injective for Multiplicative Exponential Linear Logic. CSL (2016)
Daniel de Carvalho, Lorenzo Tortora de Falco
A semantic account of strong normalization in linear logic. Inf. Comput. 248 (2016)
Daniel de Carvalho
The relational model is injective for Multiplicative Exponential Linear Logic. CoRR (2015)
Daniel de Carvalho, Jakob Grue Simonsen
An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting. RTA-TLCA (2014)
Daniel de Carvalho, Lorenzo Tortora de Falco
A semantic account of strong normalization in Linear Logic CoRR (2013)
Daniel de Carvalho, Lorenzo Tortora de Falco
The relational model is injective for multiplicative exponential linear logic (without weakenings). Ann. Pure Appl. Log. 163 (9) (2012)
Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco
A semantic measure of the execution time in linear logic. Theor. Comput. Sci. 412 (20) (2011)
Daniel de Carvalho, Lorenzo Tortora de Falco
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) CoRR (2010)
Daniel de Carvalho
Execution Time of lambda-Terms via Denotational Semantics and Intersection Types CoRR (2009)
Daniel de Carvalho
Intersection Types for Light Affine Lambda Calculus. Electron. Notes Theor. Comput. Sci. 136 (2005)