Types for proofs and programs [electronic resource] : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	TYPES 2006 Nottingham, England
Other Authors:	Altenkirch, Thorsten, 1962-, McBride, Conor
Other title:	TYPES 2006.
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2007.
Series:	Lecture notes in computer science ; 4502. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Automatic theorem proving > Congresses. Computer programming > Congresses. Automatic theorem proving. Computer programming. Conference papers and proceedings.

Internet

Holdings details from Online
Call Number:	QA76.9.A96 T96 2006eb
QA76.9.A96 T96 2006eb	Available