Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.


Durham Research Online
You are in:

Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000.

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: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library