Pages that link to "Item:Q3182938"
From MaRDI portal
The following pages link to A By-Level Analysis of Multiplicative Exponential Linear Logic (Q3182938):
Displaying 6 items.
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361) (← links)
- (Q4282602) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
- Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms (Q6635503) (← links)