Pages that link to "Item:Q534705"
From MaRDI portal
The following pages link to A linear algorithm for MLL proof net correctness and sequentialization (Q534705):
Displayed 5 items.
- A formal model for a linear time correctness condition of proof nets of multiplicative linear logic (Q2119124) (← links)
- (Q4643962) (← links)
- (Q4993356) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Learning Lambek Grammars from Proof Frames (Q5414961) (← links)