The following pages link to (Q4222845):
Displaying 5 items.
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- (Q4499269) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)