Pages that link to "Item:Q3613335"

The following pages link to Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic (Q3613335):

Displayed 3 items.

• Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) ‎ (← links)
• Light types for polynomial time computation in lambda calculus (Q1004289) ‎ (← links)
• Light Linear Logic with Controlled Weakening (Q3605533) ‎ (← links)