The following pages link to (Q4664255):
Displaying 17 items.
- A framework for proof systems (Q707742) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- (Q3824308) (← links)
- Some Syntactical Observations on Linear Logic (Q3986870) (← links)
- (Q4222842) (← links)
- Some Properties of Linear Logic Proved by Semantic Methods (Q4323009) (← links)
- Sequent systems for compact bilinear logic (Q4434501) (← links)
- (Q4699356) (← links)
- Sequent Calculi for Intuitionistic Linear Logic with Strong Negation (Q4796512) (← links)
- Object calculi in linear logic (Q4952027) (← links)
- (Q5020970) (← links)
- Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)
- Computer Science Logic (Q5311280) (← links)
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic (Q5505560) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
