## Permutability of Proofs in Intuitionistic Sequent Calculi (1996)

### Cached

### Download Links

- [laranja.math.uminho.pt]
- [www-theory.cs.st-and.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Roy Dyckhoff
,
Luís Pinto

Citations: | 25 - 4 self |