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
