Pages that link to "Item:Q4228076"
From MaRDI portal
The following pages link to A relevant analysis of natural deduction (Q4228076):
Displaying 6 items.
- A linear logical framework (Q1400718) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Hybridizing a Logical Framework (Q2867954) (← links)
- Specifying Properties of Concurrent Computations in CLF (Q2871839) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
