Travelled to:1 × Austria
Collaborated with:J.G.Simonsen ∅
Talks about:exponenti (1) character (1) polynomi (1) implicit (1) multipl (1) rewrit (1) linear (1) inject (1) relat (1) model (1)
Person: Daniel de Carvalho
DBLP: Carvalho:Daniel_de
Contributed to:
2014
2016Wrote 2 papers:
- RTA-TLCA-2014-CarvalhoS #decidability #polynomial #set
- An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting (DdC, JGS), pp. 179–193.
- CSL-2016-Carvalho #exponential #injection #linear #logic #multi #relational
- The Relational Model Is Injective for Multiplicative Exponential Linear Logic (DdC), p. 19.