Pages that link to "Item:Q4577984"
From MaRDI portal
The following pages link to Execution time of λ-terms via denotational semantics and intersection types (Q4577984):
Displayed 22 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization (Q276268) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- The bang calculus revisited (Q2039931) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- (Q4611381) (← links)
- (Q5028444) (← links)
- (Q5076060) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5089018) (← links)
- (Q5101335) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- (Q5227520) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- (Q6079229) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Quantitative global memory (Q6199577) (← links)