Pages that link to "Item:Q4811556"
From MaRDI portal
The following pages link to Obsessional experiments for linear logic proof-nets (Q4811556):
Displaying 8 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← 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)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- (Q4611381) (← links)
- (Q5227520) (← links)
