Pages that link to "Item:Q2343125"
From MaRDI portal
The following pages link to An abstract approach to stratification in linear logic (Q2343125):
Displaying 5 items.
- Proof theory for functional modal logic (Q1708100) (← links)
- (Q4234182) (← links)
- Linearly Stratified Models for the Foundations of Nonstandard Mathematics (Q4379634) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
- Super exponentials in linear logic (Q6657784) (← links)