Pages that link to "Item:Q2849877"
From MaRDI portal
The following pages link to A language for multiplicative-additive linear logic (Q2849877):
Displaying 6 items.
- A typed calculus based on a fragment of linear logic (Q908909) (← links)
- The logic of message-passing (Q923880) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Linear syntax for communicating elementary mathematics (Q2470063) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- (Q4501135) (← links)