Daniel de Carvalho

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