Callaghan, P. and Luo, Z. and McKinna, J. and Pollack, R. (2002) 'Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000.', Berlin: Springer. Lecture notes in computer science. (2277).
| Item Type: | Book |
|---|---|
| Full text: | Full text not available from this repository. |
| Publisher Web site: | http://dx.doi.org/10.1007/3-540-45842-5 |
| Record Created: | 30 Oct 2008 |
| Last Modified: | 10 Feb 2010 12:23 |
Social bookmarking:       | Export: EndNote, Zotero | BibTex |
| Usage statistics | Look up in GoogleScholar | Find in a UK Library |
![[Feed]](/images/RSSwebsmall.jpg)
![[Tweets]](/images/Twitterwebsmall.png)
