Daniel de Carvalho

Available identifiers

zbMath Open de-carvalho.danielMaRDI QIDQ276258

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4611381	2019-01-18	Paper
Execution time of λ-terms via denotational semantics and intersection types	2018-08-07	Paper
The Relational Model Is Injective for Multiplicative Exponential Linear Logic	2017-07-19	Paper
A semantic account of strong normalization in linear logic	2016-05-03	Paper
An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting	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)	2012-07-11	Paper
A semantic measure of the execution time in linear logic	2011-05-10	Paper

Research outcomes over time

This page was built for person: Daniel de Carvalho