Book contents
Appendix A - Proofs
Published online by Cambridge University Press: 05 May 2010
Summary

- Type
- Chapter
- Information
- Qualified TypesTheory and Practice, pp. 126 - 147Publisher: Cambridge University PressPrint publication year: 1994