The following pages link to Daniel de Carvalho (Q276258):
Displayed 9 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- (Q534695) (redirect page) (← links)
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- (Q2851090) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4611381) (← links)
- An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting (Q5170816) (← links)
- The Relational Model Is Injective for Multiplicative Exponential Linear Logic (Q5278430) (← links)