Daniel de Carvalho
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 7003195 (Why is no real title available?) (available as arXiv preprint) | 2019-01-18 | Paper |
| Execution time of λ-terms via denotational semantics and intersection types Mathematical Structures in Computer Science | 2018-08-07 | Paper |
| The relational model is injective for multiplicative exponential linear logic (available as arXiv preprint) | 2017-07-19 | Paper |
| A semantic account of strong normalization in linear logic Information and Computation | 2016-05-03 | Paper |
| An implicit characterization of the polynomial-time decidable sets by cons-free rewriting Lecture Notes in Computer Science | 2014-07-24 | Paper |
| Intersection types for light affine lambda calculus | 2013-10-02 | Paper |
| The relational model is injective for multiplicative exponential linear logic (without weakenings) Annals of Pure and Applied Logic | 2012-07-11 | Paper |
| A semantic measure of the execution time in linear logic Theoretical Computer Science | 2011-05-10 | Paper |
Research outcomes over time
This page was built for person: Daniel de Carvalho
