Pages that link to "Item:Q1892938"
From MaRDI portal
The following pages link to Sequent reconstruction in LLM -- A sweepline proof (Q1892938):
Displaying 6 items.
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- Proof nets sequentialisation in multiplicative linear logic (Q952490) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- Parsing MELL proof nets (Q5940925) (← links)