Concepedia

Daniel de Carvalho

DD

4

Publications

119

Citations

4

H-Index

2012

Active since

Affiliations

Innopolis University(Current)

Roma Tre University

Daniel de Carvalho is an author at Innopolis University specializing in automated reasoning, formal methods, and semantics.

Top concepts

SemanticsEngineeringFormal MethodsAutomated ReasoningComputer ScienceLanguageLinguisticsFormal VerificationSyntaxNon-monotonic Logic

Publications per year

2012–2017

4

Publications

4

Execution time of λ-terms via denotational semantics and intersection types

Daniel de Carvalho · Mathematical Structures in Computer Science · 2017 · 75 citations

Engineering, Type Theory, Type Derivations +21

A semantic account of strong normalization in linear logic

Daniel de Carvalho, Lorenzo Tortora de Falco · Information and Computation · 2016 · 19 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +7

The relational model is injective for multiplicative exponential linear logic (without weakenings)

Daniel de Carvalho, Lorenzo Tortora de Falco · Annals of Pure and Applied Logic · 2012 · 14 citations

Non-classical Logic, Relational Model, Engineering +8

The Relational Model Is Injective for Multiplicative Exponential Linear Logic

Daniel de Carvalho · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 11 citations · Full text

Completeness Result, Relational Model, Non-classical Logic +13

Rows per page

1–4 of 4