Pages that link to "Item:Q534705"

The following pages link to A linear algorithm for MLL proof net correctness and sequentialization (Q534705):

Displaying 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)