Pages that link to "Item:Q4577984"

The following pages link to Execution time of λ-terms via denotational semantics and intersection types (Q4577984):

Displaying 23 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)
• Strong call-by-value and multi types (Q6605354) (← links)
• From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)