## Verifying process algebra proofs in type theory (1993)

### Cached

### Download Links

- [www.phil.uu.nl]
- [ftp.cs.chalmers.se]
- [ftp.phil.ruu.nl]
- DBLP

### Other Repositories/Bibliography

by
M. P. A. Sellink

Citations: | 16 - 1 self |